198 search results - page 29 / 40 » Extended Temporal Logic Revisited |
106
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
113
click to vote
CC
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
104
click to vote
ECOOP
1995
Springer
15 years 3 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
VLDB
1993
ACM
15 years 3 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...