Browsing by Subject "I/O-automaton"
Now showing items 1-1 of 1
-
Conference Object
On the application of formal methods for specifying and verifying distributed protocols
(2008)In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...