440 search results - page 33 / 88 » A Temporal Calculus of Communicating Systems |
ENTCS
2006
13 years 7 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
MFCS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we examine the dissemination of availability reports about resources in mobile peer-topeer networks, where vehicles, pedestrian or sensors communicate with each othe...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...