A distributed operational semantics for CCS based on condition/event systems-Reference-Cited by-同舟云学术

A distributed operational semantics for CCS based on condition/event systems

Published:1988-10 Issue:1-2 Volume:26 Page:59-91
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Degano Pierpaolo,De Nicola Rocco,Montanari Ugo

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF02915446.pdf

Reference23 articles.

1. Austry, D., Boudol, G.P.: Algébre de Processus et Synchronization. Theor. Comput. Sci.30, 91–131 (1984)

2. Lect. Notes Comput. Sci.;G. Boudol,1987

3. Informatik-Fachberichte;F. Cindio De,1983

4. Lect. Notes Comput. Sci.;P. Degano,1985

5. Degano, P., De Nicola, R., Montanari, U.: Observational equivalences for concurrency models. In: Wirsing M. (ed.) Formal description of programming concepts III, pp. 105–132, Amsterdam Oxford New York: North-Holland 1987

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

1. Mapping Petri Nets onto a Calculus of Context-Aware Ambients;Software;2024-07-18

2. A causal, time-independent synchronization pattern for collective adaptive systems;International Journal on Software Tools for Technology Transfer;2023-11-24

3. Correctness of Broadcast via Multicast: Graphically and Formally;Electronic Proceedings in Theoretical Computer Science;2022-09-19

4. Discrete Models of Continuous Behavior of Collective Adaptive Systems;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

5. Introduction;Paradigms of Concurrency;2022