Communicating mobile processes

Concurrent Systems Engineering Series

Volumn 62, Issue , 2004, Pages 201-218

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

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SEMANTICS; SYNCHRONIZATION;

MEMORY SPACES; MOBILE PROCESSES; PROGRAM COUNTERS;

PROCESS ENGINEERING;

EID: 4744372604     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (28)

1. C.A.R.Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. ISBN: 0-13-153271-5.
2. Steve Schneider. Concurrent and Real-time Systems - The CSP Approach. Wiley and Sons Ltd., UK, Baffins Lane, Chichester, UK, 2000. ISBN: 0-471-62373-3.
3. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes - parts I and II. Journal of Information and Computation, 100:1-77, 1992. Available as technical report: ECS-LFCS-89-85/86, University of Edinburgh, UK.
4. F.R.M. Barnes and P.H. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software, 150(2), April 2003.
5. C.A.R. Hoare. Unified Theories of Programming. Technical report, Oxford University Computing Laboratory, July 1994. Available at: http://users.comlab. ox.ac.uk/tony.hoare/publications.html.
6. Xinbei Tang and Jim Woodcock. Travelling processes. In Dexter Kozen, editor, The 7the International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science, Stirling, Scotland, UK, July 2004. Springer-Verlag. To Appear.
7. P.H. Welch. Graceful Termination - Graceful Resetting. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 007 3.
8. F.R.M. Barnes and P.H. Welch. Mobile Data, Dynamic Allocation and Zero Aliasing: an Occam Experiment. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering, pages 243-264, Amsterdam, The Netherlands, September 2001. WoTUG, IOS Press. ISBN: 1-58603-202-X.
9. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes: Part I. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, WoTUG-25, Concurrent Systems Engineering, pages 331-361, IOS Press, Amsterdam, The Netherlands, September 2002. ISBN: 1-58603-268-2.
10. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes: Part II. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, WoTUG-25, Concurrent Systems Engineering, pages 363-380, IOS Press, Amsterdam, The Netherlands, September 2002. ISBN: 1-58603-268-2.
11. 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, pages 184-203. Springer-Verlag, 2002.
12. Formal Systems (Europe) Ltd., 3, Alfred Street, Oxford. OX1 4EH, UK. FDR2 User Manual, May 2000.
13. Jim White. Mobile agents white paper, 1996. General Magic. http://citeseer.ist.psu.edu/white96mobile.html.
14. Wayne Jansen and Tom Karygiannis. NIST special publication 800-19 - mobile agent security. Technical report, National Institute of Standards and Technology, Computer Security Division, Gaithersburg, MD 20899. U.S., 2000. http://citeseer.ist.psu.edu/jansen00nist.html.
15. F.R.M. Barnes, C.L. Jacobsen, and B. Vinter. RMoX: a Raw Metal Occam Experiment. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, pages 269-288, IOS Press, Amsterdam, The Netherlands, September 2003. ISBN: 1-58603-381-6.
16. Wayne A. Jansen. Countermeasures for Mobile Agent Security. Computer Communications, Special Issue on Advances in Research and Application of Network Security, November 2000.
17. David Chess, Colin Harrison, and Aaron Kershenbaum. Mobile agents: Are they a good idea? In Jan Vitek and Christian Tschudin, editors, Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes in Computer Science, pages 25-45. Springer-Verlag, April 1997.
18. A.D. Birrell and B.J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
19. Frederick R.M. Barnes. Dynamics and Pragmatics for High Performance Concurrency. PhD thesis, University of Kent, June 2003.
20. P.H. Welch and D.C. Wood. The Kent Retargetable occam Compiler. In Brian O'Neill, editor, Parallel Processing Developments, Proceedings of WoTUG 19, volume 47 of Concurrent Systems Engineering, pages 143-166. World occam and Transputer User Group, IOS Press, Netherlands, March 1996. ISBN: 90-5199-261-0.
21. P.H. Welch, J. Moores, F.R.M. Barnes, and D.C. Wood. The KRoC Home Page, 2000. Available at: http://www.cs.ukc.ac.uk/projects/ofa/kroc/.
22. Peter H. Welch and David C. Wood. Higher Levels of Process Synchronisation. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 104-129, Amsterdam, The Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press. ISBN: 90-5199-336-6.
23. M.D. Poole. Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In P.H. Welch and A.W.P. Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, Proceedings of WoTUG 21, volume 52 of Concurrent Systems Engineering, pages 187-198, Amsterdam, The Netherlands, April 1998. WoTUG, IOS Press. ISBN: 90-5199-391-9.
24. P.H. Welch. UKC-CRG-01-04-2004: Suspending Networks of Parallel Processes. Technical report, Computing Laboratory, University of Kent at Canterbury, UK, March 2004.
25. M. Schweigler, F.R.M. Barnes, and P.H. Welch. Flexible, Transparent and Dynamic occam Networking with KRoC.net. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, pages 199-224, IOS Press, Amsterdam, The Netherlands, September 2003. ISBN: 1-58603-381-6.
26. R. Sleep. In Vivo ⇔ In Silico: High fidelity reactive modelling of development and behaviour in plants and animals, May 2003. Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/ViSoGCWebv2.pdf.
27. P.H. Welch. Infrastructure for Multi-Level Simulation of Organisms, March 2004. Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/ gcconf04/submissions/42.pdf.
28. M. Schweigler. Adding Mobility to Networked Channel-Types. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, WoTUG-27, Concurrent Systems Engineering, ISSN 1383-7575, IOS Press, Amsterdam, The Netherlands, September 2004.