Permutation of transitions: An event structure semantics for CCS and SCCS-Reference-Cited by-同舟云学术

Permutation of transitions: An event structure semantics for CCS and SCCS

Published:1989 Issue: Volume: Page:411-427
ISSN:0302-9743
Container-title:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
language:
Short-container-title:

Author:

Boudol Gérard,Castellani Ilaria

Publisher

Springer Berlin Heidelberg

Link

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

Reference23 articles.

1. G. Berry, J.-J. Lévy, Minimal and Optimal Computations of Recursive Programs, J. of ACM 26 (1979) 148–175.

2. E. Best, R. Devillers, Interleaving and Partial Orders in Concurrency: A Formal Comparison, in Formal Description of Programming Concepts III, North-Holland (1987) 299–321.

3. G. Boudol, Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics (M. Nivat, J.C. Reynolds, Eds), Cambridge University Press (1985) 169–236.

4. G. Boudol, Notes on Algebraic Calculi of Processes, in Logics and Models of Concurrent Systems (K. Apt, Ed.) NATO ASI Series F13 (1985) 261–303.

5. G. Boudol, Communication is an Abstraction, Actes du Second Colloque C3 (1987) 45–63, and INRIA Res. Rep. 636.

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

1. Conflict Reduction of Acyclic Flow Event Structures;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2023-05-01

2. Linked visualisations via Galois dependencies;Proceedings of the ACM on Programming Languages;2022-01-12

3. Event structures for the reversible early internal π-calculus;Journal of Logical and Algebraic Methods in Programming;2022-01

4. Event structure semantics of (controlled) reversible CCS;Journal of Logical and Algebraic Methods in Programming;2021-06

5. Conflict vs causality in event structures;Journal of Logical and Algebraic Methods in Programming;2021-02