Notes on Algebraic Calculi of Processes-Reference-Cited by-同舟云学术

Notes on Algebraic Calculi of Processes

Published:1985 Issue: Volume: Page:261-303
ISSN:
Container-title:Logics and Models of Concurrent Systems
language:
Short-container-title:

Author:

Boudol G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-82453-1_9.pdf

Reference35 articles.

1. A. Arnold & M. Nivat: “Comportements de processus”, Coll. AFCET “Les Mathématiques de l’Informatique” ( AFCET, Paris, 1981 )

2. D. Austry & G. Boudol: “Algébre de processus et synchronisations”, Theoret. Comput. Sci. 30 (1984) 91–131

3. G. Boudol, G. Roucairol & R. de Simone: “Petri nets and algebraic calculi of processes”, Rapport de Recherche INRIA 292 (1984)

4. S.D. Brookes: “On the relationship of CCS and CSP”, ICALP 83, Lecture Notes in Comput. Sci. 154 (1983) 83–96

5. S.D. Brookes & W.C. Rounds: “Behavioural equivalence relations induced by programming logics”, ICALP 83, Lecture Notes in Comput. Sci. 154 (1983) 97–108

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

1. Mixed Nondeterministic-Probabilistic Automata;Discrete Event Dynamic Systems;2023-10-19

2. Stronger Validity Criteria for Encoding Synchrony;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

3. On the Expressiveness of Joining and Splitting;Lecture Notes in Computer Science;2019

4. Application of Model Checking to Fault Tolerance Analysis;From Software Engineering to Formal Methods and Tools, and Back;2019

5. A Theory of Encodings and Expressiveness (Extended Abstract);Lecture Notes in Computer Science;2018