The algebra of recursively defined processes and the algebra of regular processes-Reference-Cited by-同舟云学术

The algebra of recursively defined processes and the algebra of regular processes

Published:1984 Issue: Volume: Page:82-94
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Bergstra J. A.,Klop J. W.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-13345-3_7.pdf

Reference9 articles.

1. DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing, p.153–158 (1982).

2. DE BAKKER, J.W. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Information and Control, Vol.54, No.1/2, p.70–120, 1982.

3. BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion, Report IW 218/83, Mathematisch Centrum, Amsterdam 1983.

4. BERGSTRA, J.A. & J.W. KLOP, The algebra of recursively defined processes and the algebra of regular processes, Report IW 235/83, Mathematisch Centrum, Amsterdam 1983.

5. BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes, in: Proceedings of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), CWI Monograph Series, North-Holland. To appear.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?;ACM Transactions on Computational Logic;2022-10-20

2. Tutorial: Designing Distributed Software in mCRL2;Formal Techniques for Distributed Objects, Components, and Systems;2021

3. On the Meaning of Transition System Specifications;Electronic Proceedings in Theoretical Computer Science;2019-08-22

4. Extensional Petri net;Formal Aspects of Computing;2019-02-12

5. The mCRL2 Toolset for Analysing Concurrent Systems;Tools and Algorithms for the Construction and Analysis of Systems;2019