Communicating mobile processes introducing occam-pi

Lecture Notes in Computer Science

Volumn 3525, Issue , 2005, Pages 175-210

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

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS; SEQUENTIAL MACHINES;

COMMUNICATING MOBILE PROCESSES; MULTIPLE PROCESSORS; NATURAL STRUCTURING; SEMANTIC DESIGN;

MOBILE TELECOMMUNICATION SYSTEMS;

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

References (31)

1. May, D.: occam. ACM SIGPLAN Notices 18 (1983) 69-79
2. Inmos Limited: occam2 Reference Manual. Prentice Hall (1988) ISBN: 0-13-629312-3.
3. Welch, P., Moores, J., Barnes, F., Wood, D.: The KRoC Home Page (2000) Available at: http://www.cs.kent.ac.uk/projects/ofa/kroc/.
4. Barnes, F., Welch, P.: Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software 150 (2003) 121-136
5. Barnes, F., Welch, P.: Mobile Data Types for Communicating Processes. In: Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001). Volume 1., CSREA press (2001) 20-26 ISBN: 1-892512-66-1.
6. Schweigler, M., Barnes, F., Welch, P.: Flexible, Transparent and Dynamic occam Networking with KRoC.net. In Broenink, J., Hilderink, G., eds.: Communicating Process Architectures 2003. WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, Amsterdam, The Netherlands, IOS Press (2003) 199-224 ISBN: 1-58603-381-6.
7. Barnes, F., Welch, P.: Communicating Mobile Processes. In East, I., Martin, J., Welch, P., Duce, D., Green, M., eds.: Communicating Process Architectures 2004. Volume 62 of WoTUG-27, Concurrent Systems Engineering, ISSN 1383-7575., Amsterdam, The Netherlands, IOS Press (2004) 201-218 ISBN: 1-58603-458-8.
8. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes - parts I and II. Journal of Information and Computation 100 (1992) 1-77 Available as technical report: ECS-LFCS-89-85/86, University of Edinburgh, UK.
9. Muller, H., Walrath, K.: Threads and Swing (2000) Available from: http://java.sun.com/products/jfc/tsc/articles/threads/threads1.html.
10. Barrett, G.: occam 3 Reference Manual. Technical report, Inmos Limited (1992) Available at: http://wotug.org/parallel/occam/documentation/.
11. Moores, J.: The Design and Implementation of occam/CSP Support for a Range of Languages and Platforms. PhD thesis, The University of Kent at Canterbury, Canterbury, Kent. CT2 7NF (2000)
12. Boosten, M.: Formal Contracts: Enabling Component Composition. In Broenink, J., Hilderink, G., eds.: Communicating Process Architectures 2003. WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, Amsterdam, The Netherlands, IOS Press (2003) 185-197 ISBN: 1-58603-381-6.
13. Welch, P.: Graceful Termination - Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, Enschede, Netherlands, occam User Group, IOS Press, Netherlands (1989) 310-317 ISBN 90 5199 007 3.
14. Brinch Hansen, P.: Efficient Parallel Recursion. ACM SIGPLAN Notices 30 (1995) 9-16
15. Reprinted in: The Origin of Concurrent Programming, edited by Per Brinch Hansen, pp. 525-534, Springer, ISBN 0-387-95401-5. 2002.
16. Schweigler, M.: Adding Mobility to Networked Channel-Types. In East, I., Martin, J., Welch, P., Duce, D., Green, M., eds.: Communicating Process Architectures 2004. Volume 62 of WoTUG-27, Concurrent Systems Engineering, ISSN 1383-7575., Amsterdam, The Netherlands, IOS Press (2004) 107-126 ISBN: 1-58603-458-8.
17. Barnes, F.R.: Dynamics and Pragmatics for High Performance Concurrency. PhD thesis, University of Kent (2003)
18. Welch, P.H., Wood, D.C.: Higher Levels of Process Synchronisation. In Bakkers, A., ed.: Parallel Programming and Java, Proceedings of WoTUG 20. Volume 50 of Concurrent Systems Engineering., Amsterdam, The Netherlands, World occam and Transputer User Group (WoTUG), IOS Press (1997) 104-129 ISBN: 90-5199-336-6.
19. Lin Chao et al.: Hyper-Threading Technology. Intel Technology Journal 6 (2002) ISSN: 1535-766X.
20. UKCRC: Grand Challenges for Computing Research (2004) http://www.nesc.ac.uk/esi/events/Grand_Challenges/.
21. Sleep, R.: In Vivo ⇔ In Silico: High fidelity reactive modelling of development and behaviour in plants and animals (2003) Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/ViSoGCWebv2.pdf.
22. Welch, P.: Infrastructure for Multi-Level Simulation of Organisms (2004) Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/gcconf04/ submissions/42.pdf.
23. White, J.: Mobile agents white paper (1996) General Magic. http://citeseer.ist.psu.edu/white96mobile.html.
24. Jansen, W., Karygiannis, T.: 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.
25. Jansen, W.A.: Countermeasures for Mobile Agent Security. Computer Communications, Special Issue on Advances in Research and Application of Network Security (2000)
26. Chess, D., Harrison, C., Kershenbaum, A.: Mobile agents: Are they a good idea? In Vitek, J., Tschudin, C., eds.: Mobile Object Systems: Towards the Programmable Internet. Volume 1222 of Lecture Notes in Computer Science., Springer-Verlag (1997) 25-45
27. Formal Systems (Europe) Ltd. 3, Alfred Street, Oxford. OX1 4EH, UK.: FDR2 User Manual. (2000)
28. Hoare, T., Jifeng, H.: Unified Theories of Programming. Prentice Hall (1998) ISBN: 0-134-58761-8.
29. Tang, X., Woodcock, J.: Travelling processes. In Kozen, D., ed.: The 7the International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, Stirling, Scotland, UK, Springer-Verlag (2004) To Appear.
30. Barnes, F., Jacobsen, C., Vinter, B.: RMoX: a Raw Metal occam Experiment. In Broenink, J., Hilderink, G., eds.: Communicating Process Architectures 2003. WoTUG-26, Concurrent Systems Engineering, ISSN 1383-7575, Amsterdam, The Netherlands, IOS Press (2003) 269-288 ISBN: 1-58603-381-6.
31. Welch, P.: UKC-CRG-01-04-2004: Suspending Networks of Parallel Processes. Technical report, Computing Laboratory, University of Kent at Canterbury, UK (2004)