663 search results - page 3 / 133 » Process Algebra with Local Communication |
118
Voted
SIGCOMM
1991
ACM
15 years 6 months ago
1991
ACM
152
Voted
SEFM
2008
IEEE
15 years 9 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...
114
Voted
IMECS
2007
15 years 4 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...
156
Voted
CORR
2004
Springer
15 years 2 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...
117
Voted
FORTE
2001
15 years 4 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 ...