Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)
Verification of an alternating bit protocol by means of process algebra protocol
We verify a simple version of the alternating bit protocol in the system ACPτ (Algebra of Communicating Processes with silent actions) augmented with Koomen's fair abstraction rule.
KeywordsInternal Action Communication Function Parallel Composition Atomic Action Process Algebra
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- DE BAKKER, J.W. & J.I. ZUCKER, Compactness in semantics for merge and fair merge, Report IW 238/83, Mathematisch Centrum Amsterdam 1983.Google Scholar
- BARTLETT, K.A., R.A. SCANTLEBURY & P.T. WILKINSON, A note on reliable full-duplex transmission over half duplex lines, CACM 12, No.5 (1969).Google Scholar
- BERGSTRA, J.A. & J.W. KLOP, Process Algebra for Synchronous Communication, Information and Control, Vol.60, Nos.1–3, 1984, 109–137.Google Scholar
- BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes, to appear in Proc. of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), North-Holland, Amsterdam 1985.Google Scholar
- BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes with abstraction, to appear in Theoretical Computer Science, 1985.Google Scholar
- HAILPERN, B.T., Verifying concurrent processes using temporal logic. Springer LNCS 129, 1982.Google Scholar
- HAILPERN, B.T. & S. OWICKI, Verifying network protocole using temporal logic, in: Trends and applications symposium, National Bureau of Standards 1980.Google Scholar
- LAMPORT, L., Specifying concurrent program modules, ACM Toplas, Vol.5, No.2, p.190–222.Google Scholar
- MILNER, R., A Calculus of Communicating Systems, Springer LNCS 92, 1980.Google Scholar
- SCHWARTZ, R.L. & P. MELIAR SITH, From state machine to temperal logic, specification methods for protocol standards, IEEE Transactions on communication, Vol.30, No.12 (1982) p.2486–2496.Google Scholar
- YEMINI, Y. & J.F. KUROSE, Can current protocol verification techniques guarantee correctness? Computer networks, Vol.6, No.6 (1982), p. 377–381.Google Scholar
© Springer-Verlag Berlin Heidelberg 1986