211 search results - page 11 / 43 » Towards the Operational Semantics of User-Centric Communicat... |
FORTE
2004
13 years 9 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Design and analysis of cooperative communication schemes based upon modeling and simulation exist in large quantities in the research literature. Despite this fact, there have bee...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
FMCO
2004
Springer
14 years 1 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...