Formal Verification of a Leader Election Protocol in Process Algebra (1995)

Cached

Download Links

by Lars-åke Fredlund , Jan Friso Groote , Lars-ake Fredlund , Jan Friso , Henri Korver
Venue:Theoretical Computer Science
Citations:20 - 5 self