ACP with signals
New operators are introduced on top of ACP [BK 84] in order to incorporate stable signals in process algebra. Semantically this involves assigning labels to nodes of process graphs. The labels of nodes are called signals. In combination with the operators of BPA, a signal insertion operator allows to describe each finite tree labeled with actions and signals, provided the signals do not occur at leaves of the tree. In a merge processes can observe the signals of concurrent processes. This research was sponsored in part by ESPRIT under contract 432, METEOR.
KeywordsAxiom System Communication Function Atomic Action Process Algebra Signal Observation
Unable to display preview. Download preview PDF.
- [BB 87]J.C.M.Baeten & J.A.Bergstra, Global renaming operators in concrete process algebra, Report P8709, University of Amsterdam, Programming Research Group (1987), to appear in Information and ComputationGoogle Scholar
- [B 88]J.A.Bergstra, Process algebra for synchronous communication and observation, University of Amsterdam, Programming Research Group, Report P88XX, (1988)Google Scholar
- [BK 84]
- [BCC 86]G.Berry, P.Couronne, & G.Gonthier, Synchronous programming of reactive systems: an introduction to ESTEREL, in Proc.first France-Japan Symposium on Artificial Intelligence and Computer Science, Tokyo, North-Holland, (1986)Google Scholar
- [Br 87](Ed. E. Brinksma) Information Processing Systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behavior, ISO/TC 97/SC 21/20-7-1987Google Scholar
- [vGl 87]
- [MV 88]S.Mauw & G.J.Veltink, A process specification formalism, University of Amsterdam, Programming Research Group, Report XXX (1988)Google Scholar
- [Mi 80]R.Milner, A Calculus of Communicating Systems, Springer LNCS, (1980)Google Scholar
- [Ja 83]M.Jackson, System development, Prentice Hall, (1983)Google Scholar
- [Va 86]F.W. Vaandrager, Process algebra semantics for POOL, Report CS-R8629, Centre for Mathematics and Computer Science, Amsterdam (1986)Google Scholar
- [Vr 86]J.L.M. Vrancken, The algebra of communicating processes with empty process, Report FVI 86-01, Programming Research Group, University of Amsterdam, (1986)Google Scholar
- [W 88]R.J.Wieringa, Jackson system development analysed in process algebra, Report IR-148, Free University, Amsterdam, Department of Mathematics and Computer Science, (1988)Google Scholar