328 search results - page 66 / 66 » Proving Termination of Communicating Programs |
88
Voted
ASIAN
1998
Springer
15 years 3 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
111
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We consider a Gaussian two-hop network where the source and the destination can communicate only via a relay node who is both an eavesdropper and a Byzantine adversary. Both the s...
95
Voted
WDAG
2010
Springer
14 years 10 months ago
2010
Springer
Leader election and arbitrary pattern formation are fundammental tasks for a set of autonomous mobile robots. The former consists in distinguishing a unique robot, called the lead...