906 search results - page 19 / 182 » Linking Theories of Concurrency |
116
click to vote
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—A practical protocol jointly considering PHY and MAC for MIMO based concurrent transmissions in wireless ad hoc networks, called Contrabass, is presented. Concurrent transmissio...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
AINA
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...
RELMICS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...