Proceedings details
Title: Communicating Process Architectures 2006
Editors: Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
Publisher: IOS Press, Amsterdam
ISBN: 978-1-58603-671-3
ISSN: 1383-7575
Items:
- A Fast Resolution of Choice between Multiway Synchronisations Peter H. Welch, 1 page
- SpaceWire - DS-Links Reborn Barry M. Cook, Paul Walker, 12 pages [PDF]
- An Introduction to CSP.NET Alex Lehmberg, Martin N. Olsen, 18 pages [PDF]
- Performance Evaluation of JCSP Micro Edition: JCSPme Kevin Chalmers, Jon Kerridge, Imed Romdhani, 10 pages [PDF]
- Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. Jon Kerridge, Kevin Chalmers, 18 pages [PDF]
- CSP for .NET Based on JCSP Kevin Chalmers, Sarah Clayton, 18 pages [PDF]
- pony - The occam-pi Network Environment Mario Schweigler, Adam T. Sampson, 32 pages [PDF]
- A Study of Percolation Phenomena in Process Networks Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 13 pages [PDF]
- Portable CSP Based Design for Embedded Multi-Core Systems Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 12 pages [PDF]
- A JCSP.net Implementation of a Massively Multiplayer Online Game Shyam Kumar, G. S. Stiles, 15 pages [PDF]
- SystemCSP - Visual Notation Bojan Orlic, Jan F. Broenink, 27 pages [PDF]
- Interacting Components Bojan Orlic, Jan F. Broenink, 24 pages [PDF]
- TCP Input Threading in High Performance Distributed Systems Hans Henrik Happe, 11 pages [PDF]
- A Cell Transterpreter Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud, 10 pages [PDF]
- Mobile Robot Control: The Subsumption Architecture and occam-pi Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud, 12 pages [PDF]
- Rain: A New Concurrent Process-Oriented Programming Language Neil C.C. Brown, 15 pages [PDF]
- Rain VM: Portable Concurrency through Managing Code Neil C.C. Brown, 15 pages [PDF]
- Native Code Generation using the Transterpreter. Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud, 12 pages [PDF]
- Compositions of Concurrent Processes Mark Burgin, Marc L. Smith, 16 pages [PDF]
- Software Specification Refinement and Verification Method with I-Mathic Studio. Gerald H. Hilderink, 14 pages [PDF]
- Video Processing in occam-pi Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes, 19 pages [PDF]
- No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple) Øyvind Teig, 8 pages [PDF]
- A Circus Development and Verification of an Internet Packet Filter. Alistair A. McEwan, 24 pages [PDF]
- Classification of Programming Errors in Parallel Message Passing Systems Jan Bækgaard Pedersen, 14 pages [PDF]
- Compiling CSP Frederick R. M. Barnes, 12 pages [PDF]
|