Another look at abstraction in process algebra
Central to theories of concurrency is the notion of abstraction. Abstraction from internal actions is the most important tool for system verification. In this paper, we look at abstraction in the framework of the Algebra of Communicating Processes (see BERGSTRA & KLOP [4, 6]). We introduce a hidden step η, and construct a model for the resulting theory ACPη. We briefly look at recursive specifications in this theory, and discuss the relations with Milner's silent step τ.
KeywordsGraph Model Outgoing Edge Atomic Action Process Algebra Closed Term
Unable to display preview. Download preview PDF.
- J.C.M.Baeten, J.A.Bergstra & J.W.Klop, Conditional axioms and α/β-calculus in process algebra, report CS-R8502, Centre for Math. & Comp. Sci., Amsterdam 1985, to appear in: Proc. IFIP Conf. on Formal Description of Progr. Concepts (M.Wirsing, ed.), Gl. Avernæs 1986, North-Holland.Google Scholar
- J.C.M.Baeten, J.A.Bergstra & J.W.Klop, On the consistency of Koomen's fair abstraction rule, to appear in Theor. Comp. Sci. 51 (1/2).Google Scholar
- J.C. Baeten & R.J. van Glabbeek, Another look at abstraction in process algebra, report CS-R8701, Centre for Math. & Comp. Sci., Amsterdam 1987.Google Scholar
- J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60 (1/3), pp. 109–137, 1984.Google Scholar
- J.A.Bergstra & J.W.Klop, Algebra of communicating processes, Proc. CWI Symp. Math. & Comp. Sci. (J. de Bakker, M.Hazewinkel & J.Lenstra eds.), pp. 89–138, North-Holland, 1986.Google Scholar
- J.A.Bergstra, J.W.Klop & E.-R.Olderog, Failures without chaos: a new process semantics for fair abstraction, report CS-R8625, Centre for Math. & Comp. Sci., Amsterdam 1986, to appear in: Proc. IFIP Conf. on Formal Description of Progr. Concepts (M.Wirsing, ed.), Gl. Avernæs 1986, North-Holland.Google Scholar
- R.J. van Glabbeek, Bounded nondeterminism and the approximation induction principle in process algebra, Proc. STACS 87 (F.Brandenburg, G.Vidal-Naquet & M.Wirsing, eds.), Springer LANCS 247, pp. 336–347, 1987.Google Scholar
- C.A.R.Hoare, Communicating sequential processes, Prentice Hall 1985.Google Scholar
- R.Milner, A calculus of communicating systems, Springer LNCS 92, 1980.Google Scholar
- R.Milner, Lectures on a calculus of communicating systems, (S.D.Brookes, A.W.Roscoe & G.Winskel, eds.), pp. 197–220, Springer LNCS 197, 1985.Google Scholar
- D.M.R. Park, Concurrency and automata on infinite sequences, Proc. 5th GI Conf.(P. Deussen, ed.), Springer LNCS 104, pp. 167–183, 1981.Google Scholar
- J.L.M. Vrancken, The algebra of communicating processes with empty process, report FVI 86-01, Dept. of Comp. Sci., Univ. of Amsterdam 1986.Google Scholar