Verification of an alternating bit protocol by means of process algebra

DSpace/Manakin Repository

Verification of an alternating bit protocol by means of process algebra
 
Bergstra, J.A.; Klop, J.W.
(1986) Lecture Notes in Computer Science, volume 215, pp. 9 - 23
(Article in proceedings)
Abstract
We verify a simple verslon of the alternating bit protocol in the system ACP- (Algebra of Communicating Processes with silent actions) augmented with Koomenls falr abstraction rule.
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0302-9743
Publisher: Springer International
 
 
See more statistics about this item