Travelling processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3125, Issue , 2004, Pages 381-399

  Tang, Xinbei ^a   Woodcock, Jim ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Higher order programming; Mobile processes; Refinement; UTP

Indexed keywords

SEMANTICS;

DEVELOPMENT METHOD; HIGHER ORDER PROGRAMMING; MATHEMATICAL BASIS; MOBILE PROCESS; PROCESS MOBILITY; REFINEMENT; UNIFYING THEORIES OF PROGRAMMING; UTP;

CALCULATIONS;

EID: 26444600491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_20     Document Type: Article

References (16)

1. F. R. M. Barnes and P. H. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings Software, 150(2):121-136, April 2003.
2. A. L. C. Cavalcanti, A. C. A. Sampaio, and J. C. P. Woodcock. Refinement of actions in Circus. In REFINE'2002, Electronic notes in Theoretical Computer Science, 2002.
3. A. L. C. Cavalcanti, A. C. A. Sampaio, and J. C. P. Woodcock. A refinement strategy for Circus. Formal Aspects of Computing, 2003(15):145-181, 2003.
4. C. A. R. Hoare. Communicating Sequential Process. Prentice Hall, 1985.
5. C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998.
6. INMOS Limited. occam2.1 reference manual. Technical report, May 1995.
7. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Technical Report ECS-LFCS-89-85 and -86, University of Edinburgh, 1989.
8. Robin Milner. Communicating and Mobile Systems: the x-calculus. Cambridge University Press, 1999.
9. Carrol Morgan. Programming from Specifications. Prentice Hall, second edition, 1998.
10. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
11. A. C. A. Sampaio, J. C. P. Woodcock, and A. L. C. Cavalcanti. Refinement in Circus. In L. Eriksson and P. A. Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 451-470. Springer-Verlag, 2002.
12. D. Sangiorgi. Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, 1992.
13. Davide Sangiorgi and David Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
14. Xinbei Tang. Mobile processes in unifying theories. Technical report 1-04, Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK, January 2004.
15. J. C. P. Woodcock and A. L. C. Cavalcanti. A concurrent language for refinement. In A. Butterfield and C. Paul, editors, IWFM'01: 5th Irish Workshop in Formal Methods, Dublin, Ireland, July 2001.
16. J. C. P. Woodcock and A. L. C. Cavalcanti. The semantics of Circus. In J. P. Bowen, M. C. Henson, and K. Robinson, editors, ZB2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.