Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 18.

Book section

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and extending JCSP. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering (Volume). IOS Press, US, Amsterdam, pp. 349-370. ISBN 9781586037673. (Full text available)
[img]
Preview

Conference or workshop item

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England. (Full text available)
[img]
Preview

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. (The full text of this publication is not available from this repository)

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: Communicating Process Architectures 2007. (Full text available)
[img]
Preview

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007. (Full text available)
[img]
Preview

Ritson, Carl G. and Welch, Peter H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 249-266. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: Communicating Process Architectures 2007, 2007. (Full text available)
[img]
Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and Extending JCSP. In: Communicating Process Architectures 2007, Jul, 2007, Guildford. (Full text available)
[img]
Preview

Woodcock, Jim and McEwan, Alistair A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings , International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not available from this repository)

Woodcock, Jim and McEwan, Alistair A. (2000) An Overview of the Verification of a Handel-C Program. In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV, . (The full text of this publication is not available from this repository)

Edited book

Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. (2008) Communicating Process Architectures 2008. Concurrent Systems Engineering, 66 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-58603-907-3. (The full text of this publication is not available from this repository)

McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. (2007) Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering , 65 . IOS Press, US, Amsterdam, 528 pp. ISBN 9781586037673. (The full text of this publication is not available from this repository)

This list was generated on Sun Oct 26 06:07:26 2014 GMT.