Two-way protocols for occam-π

Concurrent Systems Engineering Series

Volumn 66, Issue , 2008, Pages 85-97

  Sampson, Adam T ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Client server; Concurrency; Occam ; Protocols; Session types

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES; NETWORK PROTOCOLS;

CLIENT-SERVER; CLIENT-SERVER COMMUNICATIONS; CONCURRENCY; PATTERNS OF COMMUNICATIONS; PROGRAMMING LANGUAGES; PROTOCOLS; SERVER SYSTEMS; SESSION TYPES; UNIDIRECTIONAL CHANNELS;

COMPUTER NETWORKS;

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

References (12)

1. J.M.R. Martin and P.H. Welch. A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3(4), 1997.
2. Inmos Limited. occam 2 Reference Manual. Technical report, Inmos Limited, 1988.
3. Fred Barnes and Peter H. Welch. Prioritised Dynamic Communicating Processes - Part II. In J. Pascoe, R. Loader, and V. Sunderam, editors, Communicating Process Architectures 2002, pages 353-370, 2002.
4. Fred Barnes and Peter H. Welch. Prioritised Dynamic Communicating Processes - Part I. In J. Pascoe, R. Loader, and V. Sunderam, editors, Communicating Process Architectures 2002, pages 321-352, 2002.
5. Geoff Barrett, occam 3 Reference Manual. Technical report, Inmos Limited, March 1992.
6. Peter H. Welch. Process Oriented Design for Java: Concurrency for All. In P.M.A. Sloot, C.J.K. Tan, J.J. Dongarra, and A.G. Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 687-687. Springer-Verlag, April 2002. Keynote Tutorial.
7. Ian R. East. Interfacing with Honeysuckle by Formal Contract. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, pages 1-11, September 2005.
8. Kohei Honda. Types for Dyadic Interaction. In Proc. CONCUR'93, number 715 in LNCS, pages 509-523. Springer, 1993.
9. Matthias Neubauer and Peter Thiemann. An implementation of session types. In Bharat Jayaraman, editor, PADL, volume 3057 of Lecture Notes in Computer Science, pages 56-70. Springer, 2004.
10. doos: a Distributed Object-Oriented language with Session types. In Rocco De Nicola and Davide Sangiorgi, editors, TGC 2005, volume 3705 of LNCS, pages 299-318. Springer-Verlag, 2005.
11. V. T. Vasconcelos, Antnio Ravara, and Simon Gay. Session types for functional multithreading. In CONCUR'04, number 3170 in LNCS, pages 497-511. Springer-Verlag, 2004.
12. Raymond Hu, Nobuko Yoshida, and Kohei Honda. Language and Runtime Implementation of Sessions for Java. In Olivier Zendra, Eric Jul, and Michael Cebulla, editors, ICOOOLPS'2007, 2007.