Partial ordering derivations for CCS-Reference-Cited by-同舟云学术

Partial ordering derivations for CCS

Published:1985 Issue: Volume: Page:520-533
ISSN:0302-9743
Container-title:Fundamentals of Computation Theory
language:
Short-container-title:

Author:

Degano Pierpaolo,De Nicola Rocco,Montanari Ugo

Publisher

Springer Berlin Heidelberg

Link

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

Reference18 articles.

1. Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W. A Theory of Communicating Sequential Processes, J. ACM 31, 3 (1984), 560–599.

2. Castellani, I., Franceschi, P., and Montanari, U. Labeled Event Structures: A Model for Observable Concurrency, Proc. IFIP TC 2 — Working Conference: Formal Description of Programming Concepts II (D. Bjørner Ed.), Garmisch — Partenkirchen, 1982, North-Holland, Amsterdam, 1983, pp. 383–400.

3. Darondeau, Ph., and Kott, L. On the Observational Semantics of Fair Parallelism, Proc. 10th ICALP (J. Diaz Ed.), LNCS, 154, Springer-Verlag, Berlin, 1983, pp. 147–151.

4. Degano,P., and Montanari,U. Liveness Properties as Convergence in Metric Spaces, Proc. 16th Annual ACM SIGACT Symposium on Theory of Computing, April 30–May 2, 1984, Washington, DC, pp. 31–38.

5. Degano, P., and Montanari, U. Distributed Systems, Partial Orderings of Events, and Event Structures, Lecture Notes of the 1984 International Summer School on Control Flow and Data Flow — Concepts of Distributed Programming (M. Broy Ed.), Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1984.

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

1. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015

2. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra;Concurrency, Graphs and Models;2008

3. Causality and Replication in Concurrent Processes;Lecture Notes in Computer Science;2004

4. Semantic-Driven Performance Evaluation;Fundamental Approaches to Software Engineering;1999

5. Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation;Static Analysis;1998