257 search results - page 46 / 52 » New Bisimulation Semantics for Distributed Systems |
113
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Communication among agents requires a common vocabulary to facilitate successful information exchange. One way to achieve this is to assume the existence of a common ontology amon...
ECEH
2006
15 years 1 months ago
2006
: This paper presents the networking architecture developed in the CASCOM research project. This architecture provides an efficient and reliable communication support and service d...
141
Voted
JODL
2000
14 years 11 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
132
click to vote
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
118
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...