2409 search results - page 225 / 482 » On Extended Regular Expressions |
190
click to vote
ICNC
2005
Springer
16 years 7 days ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
168
click to vote
ZUM
2005
Springer
16 years 6 days ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
167
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
177
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
188
click to vote
ICTAC
2004
Springer
16 years 3 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...