A CSP model for mobile channels

Concurrent Systems Engineering Series

Volumn 66, Issue , 2008, Pages 17-33

  Welch, Peter H ^a   Barnes, Frederick R M ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

calculus; Channels; CSP; Mobility; Modeling; Occam ; Processes

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL TECHNIQUES; NETWORK PROTOCOLS; SEMANTICS; SENSOR NETWORKS; WIRELESS NETWORKS;

CHANNELS; CSP; MOBILITY; MODELING; PROCESSES;

COMPUTER OPERATING PROCEDURES;

EID: 54449089165     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: 10.3233/978-1-58603-907-3-17     Document Type: Conference Paper

References (18)

1. P.H. Welch and F.R.M. Barnes. Communicating Mobile Processes: Introducing occam-π. In 25 Years of CSP', Lecture Notes in Computer Science vol. 3525, A. Abdallah, C. Jones, and J. Sanders, editors, Springer, pp. 175-210, Apr. 2005.
2. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings-Software, 150(2):121-136, April 2003.
3. F.R.M. Barnes and P.H. Welch. Prioritised dynamic communicating processes: Part 1. In James Pascoe et al., editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pp. 321-352, IOS Press, Amsterdam, The Netherlands, September 2002.
4. C.A.R. Hoare. Communicating Sequential Processes. In CACM, vol. 21-8, pp. 666-677, August, 1978.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, ISBN 0-13-153271-5, 1985.
6. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, ISBN 0-13-674409-5, 1997
7. Formal Systems (Europe) Ltd. FDR2 Manual, www.fsel.com/documentation/ fdr2/fdr2manual.pdf. May 2008.
8. R. Milner. Communcating and Mobile Systems: the π-Calculus. Cambridge University Press, ISBN-13:9780521658690, 1999.
9. Inmos Ltd. occam3 Draft Reference Manual, 1991.
10. P.H. Welch and F.R.M. Barnes. Mobile Barriers for occam-π: Semantics, Implementation and Application. In J.F. Broenink et al., editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pp. 289-316, IOS Press, The Netherlands, September 2005.
11. P.H. Welch and J.M.R Martin. Formal Analysis of Concurrent Java Systems. In A.W.P. Bakkers et al., editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pp. 275-301. WoTUG, IOS Press (Amsterdam), September 2000.
12. J.C.P. Woodcock and A.L.C. Cavalcanti. The Semantics of Circus. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pp 184-203, Springer-Verlag, 2002.
13. S. Stepney, J.C.P. Woodcock, F.A.C. Polack, A.L.C. Cavalcanti, S. Schreider, H.E. Trehame and P.H. Welch. TUNA: Theory Underpinning Nanotech Assemblers (Feasibility Study). EPSRC grant EP/C516966/1 (Universities of York, Surrey and Kent). Final report from www.cs.york.ac.uk/nature/tuna/, November, 2006.
14. S. Stepney, F.A.C. Polack, J. Timmis, A.M. Tyrrell, M.A. Bates, P.H. Welch and F.R.M. Barnes. CoSMoS: Complex Systems Modelling and Simulation. EPSRC grant EP/E053505/1 (University of York) and EP/E049419/1 (University of Kent), October 2007 - September 2011.
15. A.A. McEwan. Concurrent Program Development, DPhil Thesis, University of Oxford, 2006.
16. P.H. Welch, F.R.M. Barnes, and F. Polack. Communicating Complex Systems. In Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pp 107-117, Stanford University, IEEE Society Press, August 2006.
17. P.H. Welch, N.C.C. Brown, J. Moores, K. Chalmers and B. Sputh. Integrating and Extending JCSP. In Alistair A. McEwan et al., editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pp. 349-370, Amsterdam, The Netherlands, July 2007. IOS Press.
18. F.R.M. Barnes. Compiling CSP. In P.H. Welch et al., editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pp. 377-388, Amsterdam, The Netherlands, September 2006. IOS Press.