329 search results - page 5 / 66 » Asynchronous Communication in Process Algebra |
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
ACSD
2008
IEEE
14 years 2 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, the development of a framework based on the Realtime Database (RTDB) for processing multimodal data is presented. This framework allows readily integration of input...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer