440 search results - page 6 / 88 » A Temporal Calculus of Communicating Systems |
149
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
158
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
117
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
151
click to vote
JLP
2008
15 years 5 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
155
click to vote
AAI
2010
15 years 16 days ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...