Verification of an alternating bit protocol by means of process algebra
Publication date
1986
Authors
Bergstra, J.A.
Klop, J.W.
Editors
Advisors
Supervisors
DOI
Document Type
Article in proceedings
Metadata
Show full item recordCollections
License
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.