173 search results - page 27 / 35 » On the Power of Deterministic and Sequential Communicating P... |
132
click to vote
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
111
click to vote
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
131
click to vote
IPSN
2004
Springer
15 years 6 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
106
click to vote
FORTE
2001
15 years 2 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 ...
106
click to vote
PODC
2004
ACM
15 years 6 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...