On the relationship of CCS and petri nets-Reference-Cited by-同舟云学术

On the relationship of CCS and petri nets

Published:1984 Issue: Volume: Page:196-208
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Goltz Ursula,Mycroft Alan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-13345-3_18.pdf

Reference14 articles.

1. Abramsky, S. Eliminating local non-determinism: a new semantics for CCS. Report 290, Computer systems laboratory, Queen Mary College, London, 1981.

2. Lecture notes in computer science;Bakker,1983

3. lecture notes in computer science,1980

4. de Cindio, et al. Superposed automata nets. IF 52: Selected papers from the 1st and 2nd european workshop on applications and theory of Petri nets, 1982.

5. de Cindio, et al. Milner's CCS and Petri nets. IF 66: Selected papers from the 3rd european workshop of applications and theory of Petri nets, 1983.

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

1. Just Testing;Lecture Notes in Computer Science;2023

2. Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP;Lecture Notes in Computer Science;2015

3. Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets;Application and Theory of Petri Nets and Concurrency;2015

4. Hierarchical Structure of 1-Safe Petri Nets;Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation;2003

5. On the decidability of fragments of the asynchronous π-calculus;Electronic Notes in Theoretical Computer Science;2002-02