663 search results - page 3 / 133 » Process Algebra with Local Communication |
SIGCOMM
1991
ACM
13 years 11 months ago
1991
ACM
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
IMECS
2007
13 years 9 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
FORTE
2001
13 years 9 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...