440 search results - page 2 / 88 » A Temporal Calculus of Communicating Systems |
JVA
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
FOSSACS
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
CP
2001
Springer
13 years 9 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer