Sciweavers

81 search results - page 17 / 17
» Implementing Spi Calculus Using Nominal Techniques
Sort
View
SCP
2010
155views more  SCP 2010»
13 years 4 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay