3 search results - page 1 / 1 » Complete Proof Systems for Observation Congruences in Finite... |
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
ENTCS
2007
14 years 9 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...