Operational semantics for fun and profit

Lecture Notes in Computer Science

Volumn 3525, Issue , 2005, Pages 265-274

  Goldsmith, Michael ^a,b  

^a Formal Systems (Europe) Ltd   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; OPTIMIZATION; PROBABILITY;

DENOTATIONAL PROPERTY; HIERARCHICAL COMPRESSION; OPERATIONAL SEMANTICS; RESTRUCTURING SYSTEMS;

SEMANTICS;

EID: 26444495616     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11423348_16     Document Type: Conference Paper

References (13)

1. S.D. Brookes and A.W. Roscoe. An improved failures model for communicating processes. In Proceedings of the Pittsburgh seminar on concurrency LNCS 197, pages 281-305. Springer-Verlag, 1985.
2. Steve Brookes, Bill Roscoe, and David Walker. An operational semantics for CSP. Technical report, Oxford University Programming Resarch Group, 1986.
3. Michael Goldsmith. CSP: The best concurrent-system description language in the world - probably! (extended abstract). In Ian East, Jeremy Martin, Peter Welch, David Duce, and Mark Green, editors, Communicating Process Architectures 2004-IOS Press, 2004.
4. Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, and Irfan Zakiuddin. Watchdog transformations for property-oriented model-checking. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, pages 600-616, Pisa, September 2003. Formal Methods Europe.
5. Formal Systems (Europe) Ltd. FDR2 manual, 1998. http://www.formal.demon. co.uk/fdr2manual/.
6. PRobabilistIc Symbolic Model checker, http://www.cs.bham.ac.uk/~dxp/ prism/.
7. QinetiQ, Birmingham University, Formal Systems, and Oxford University. FORWARD: A Future of Reliable Wireless Ad-hoc networks of Roaming Devices. http://www.forward-project.org.uk.
8. A.W. Roscoe. A mathematical theory of communicating processes. DPhil, Oxford University Programming Research Group, 1982.
9. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998. ISBN 0-13-6774409-5, pp. xv+565.
10. 20 dining philosophers for deadlock. In Proceedings of TACAS Symposium, Aarhus, Denmark, 1995.
11. P.Y.A. Ryan, S.A.Schneider with M.H. Goldsmith, G. Lowe, and A.W. Roscoe. The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, 2000.
12. Antti Valmari and Antti Kervinen. Alphabet-based synchronisation is exponentially cheaper. In L. Brim, P. Janar, M. Ketínský, and A. Kuera, editors, CONCUR 2002 - Concurrency Theory: 13 International Conference, volume 2421 of LNCS, pages 161-176, Brno, Czech Republic, August 2002. Springer-Verlag Heidelberg.
13. Irfan Zakiuddin, Nick Moffat, Michael Goldsmith, and Tim Whitworth. Property based compression strategies. In Proceedings of Second Workshop on Automated Verification of Critical Systems (AVoCS 2002). University of Birmingham, April 2002.