On termination and invariance for faulty channel machines
Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Schnoebelen, Philippe, Worrell, JamesVolume:
24
Language:
english
Pages:
13
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-012-0234-7
Date:
July, 2012
File:
PDF, 411 KB
english, 2012