663 search results - page 16 / 133 » Process Algebra with Local Communication |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Different geographic routing protocols have different requirements on routing metric designs to ensure proper operation. Combining a wrong type of routing metric with a ...
DBPL
2003
Springer
14 years 26 days ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
ICCNMC
2005
Springer
14 years 1 months ago
2005
Springer
The emergence of Internet, Intranet, local area networks, and ad hoc wireless networks introduces a plethora of new problems in information processing. In order to overcome these p...