Adding conflict and confusion to CSP

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 205-220

  Bolton, Christie ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Automatic Verification; Conflict; Confusion; CSP; Interleaving Concurrency; Petri Nets; True Concurrency

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PETRI NETS; SEMANTICS;

AUTOMATIC VERIFICATION; CONFLICT; CONFUSION; CSP; INTERLEAVING CONCURRENCY; TRUE CONCURRENCY;

COMPUTER PROGRAMMING;

EID: 26444584392     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_15     Document Type: Conference Paper

References (19)

1. Petri nets tool database. Available via URL. http://www.daimi.au.dk/ PetriNets/tools/.
2. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1), 1985.
3. E. Best, F.S. de Boer, and C. Palamidessi. Partial order and sos semantics for linear constraint programs. In Proceedings of Coordination 97, volume 1282 of LNCS. Springer-Verlag, 1997.
4. C. Bolton. On the Refinement of State-Based and Event-Based Models. D.Phil., University of Oxford, 2002.
5. C. Bolton and G. Lowe. A hierarchy of failures-based models. In Proceedings of the 10th International Workshop on Expressiveness in Concurrency: EXPRESS'03, 2003.
6. E. Clarke, O. Grumberg, and D. Peled. Model-Checking. The MIT Press, 1999.
7. Formal Systems (Europe) Ltd. Failures-Divergence Refinement FDR 2 User Manual, 1999. Available via URL http://www.fsel.com/fdr2_manual.html.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. A. Mazurkiewicz. Introduction to trace theory. In V. Diekert and G. Rozenberg, editors, The book of traces. World Scientific, 1995.
10. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
11. R. Milner. Communications and concurrency. Prentice Hall, 1989.
12. E.-R. Olderog. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge University Press, 1991.
13. C.A. Petri. Fundamentals of a theory of asynchronous information flow. In Proceedings of IFIP, Congress'62, pages 386-390, 1962.
14. V. Pratt. On the composition of processes. In Proceedings of 1982 ACM Symposium on Principles of Programming Languages (POPL), 1982.
15. W. Reisig. Petri Nets. Springer, 1982.
16. W. Reisig and G. Rozenberg. Informal introduction to petri nets. Lecture Notes in Computer Science, 1491, 1998.
17. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997.
18. H. Störrle. An evaluation of high-end tools for petri-nets. Technical Report 9802, Ludwig-Maximilians-Universität München, 1997.
19. G. Winskel. Events in Computation. D.Phil, University of Edinburgh, 1980.