Author:
Baier Christel,Majster-Cederbaum Mila E.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference31 articles.
1. Bakker, J.W. de, Zucker, J.I.: Processes and the denotational semantics of concurrency. Inf. Control54, 70?120 (1982)
2. Bakker, J.W. de, Warmerdam, J.H.A.: Metric pomset semantics for a concurrent language with recursion. Report CS-R9033, Centre for Mathematics and Computer Science, Amsterdam, July 1990
3. Bakker, J.W. de, Warmerdam, J.H.A.: Four domains for concurrency. Theor. Comput. Sci.90, 127?149 (1991)
4. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control60, 109?137 (1984)
5. Lect. Notes Comput. Sci.;G. Boudol,1987
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures;Electronic Proceedings in Theoretical Computer Science;2023-09-03
2. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
3. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
4. From Event-Oriented Models to Transition Systems;Application and Theory of Petri Nets and Concurrency;2018
5. CSP-CASL—A new integration of process algebra and algebraic specification;Theoretical Computer Science;2006-03