529 search results - page 21 / 106 » Causal Time Calculus |
TIME
1998
IEEE
15 years 6 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
133
click to vote
ZUM
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
124
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
105
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...