JCSP-poison: Safe termination of CSP process networks

Concurrent Systems Engineering Series

Volumn 63, Issue , 2005, Pages 71-103

  Sputh, Bernhard H C ^a   Allen, Alastair R ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

JCSP; Partial Process Network Termination; Poionable Channel; Poison Filtering Channel; Poisoning; SDR; Termination Domains

Indexed keywords

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER NETWORKS; JAVA PROGRAMMING LANGUAGE; PROGRAM PROCESSORS; SIGNAL PROCESSING; SOFTWARE ENGINEERING;

JAVA VIRTUAL MACHINE; JCSP; PARTIAL PROCESS NETWORK TERMINATION; POIONABLE-CHANNEL; POISON-FILTERING-CHANNEL; POISONING; SOFTWARE DEFINED RADIO (SDR); TERMINATION DOMAINS;

CONCURRENT ENGINEERING;

EID: 33746356535     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. C.A.R. Hoare. Communicating sequential processes. Communication of the ACM, 21(8):666-677, August 1978.
2. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
3. Joseph Mitola. The software radio architecture. IEEE Communications Magiyne, (5):26-38, May 1995.
4. Joseph Mitola. Software radio architecture: A mathematical perspective. IEEE Journal on Selected Areas in Communications, 17(4):514-538, April 1999.
5. Oliver Faust, Bernhard Sputh, and David Endler. Chaining Communications Algorithms with CSP. In Ian R. East, Prof David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors, Communicating Process Architectures 2004, pages 325-338, 2004.
6. P. H. Welch and P. D. Austin. Jcsp home page http://www.cs.kent.ac.uk/ projects/ofa/jcsp/.
7. Cay S. Horstmann and Gary Cornell. Core Java 2: Volume II-Advanced Features, volume 2 of The Sun Microsystems Press Java Series. Sun Microsystems Press, A Prentice Hall Title, 901 San Antonio Road, Palo Alto, California, 94303-4900 U.S.A., 2002. ISBN: 0-13-092738-4.
8. Peter H. Welch. Graceful termination - graceful resetting. In Andre W. P. Bakkers, editor, OUG-10: Applying Transputer Based Parallel Machines, pages 310-317, 1989.
9. P.H.Welch. Concurrency, exceptions and poison. Mailing List, September 2001. URL: http://www.wotug.org/lists/occam/1076.shtml.
10. Neil C. Brown and Peter H. Welch. An Introduction to the Kent C++CSP Library. In Jan F. Broenink and Gerald H. Hilderink, editors. Communicating Process Architectures 2003, pages 139-156, 2003.
11. Formal Systems (Europe) Ltd. FDR2 User Manual, sixth edition. May 2003. URL: http://www.fsel.com/fdr2_manual.html.
12. Peter H. Welch and Jeremy M. R. Martin. Formal Analysis of Concurrent Java Systems. In Peter H. Welch and Andrè W. P. Bakkers, editors. Communicating Process Architectures 2000, pages 275-301.
13. nullsoft AOLmusic. SHOUTcast homepage. Internet. URL: http://www.shoutcast.com.
14. Xiph.org Foundation, icecast homepage. Internet. URL: http://www.icecast.org.
15. Bernhard Sputh. K-CSP Component Based Development of Kernel Extensions. In Ian R. East, Prof David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors. Communicating Process Architectures 2004, pages 311-324, 2004.
16. Neil C. Brown. C++CSP Networked. In Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors, Communicating Process Architectures 2004, pages 185-200, 2004.
17. Fred Barnes and Peter H. Welch. Communicating Mobile Processes. In Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors, Communicating Process Architectures 2004, pages 201-218, 2004.
18. Mario Schweigler, Frederick R. M. Barnes, and Peter H. Welch. Flexible, Transparent and Dynamic occam Networking With KRoC.net. In Jan F. Broenink and Gerald H. Hilderink, editors, Communicating Process Architectures 2003, pages 199-224, 2003.
19. Mario Schweigler. Adding Mobility to Networked Channel-Types. In Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors. Communicating Process Architectures 2004, pages 107-126, 2004.