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: 11.

Book section

Welch, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B. (2007) Integrating and extending JCSP. In: McEwan, A.A. and Schneider, S. and Ifill, W. and Welch, P.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

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

Brown, Neil and Smith, M.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

Simpson, J. 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, P.H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, A.A. and Schneider, S.A. and Ifill, W. and Welch, P.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, N.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, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B. (2007) Integrating and Extending JCSP. In: Communicating Process Architectures 2007, Jul, 2007, Guildford. (Full text available)
[img]
Preview

Woodcock, J.C.P. and McEwan, A.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, J.C.P. and McEwan, A.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

McEwan, A.A. and Schneider, S. and Ifill, W. and Welch, P.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 Thu Apr 24 15:52:16 2014 BST.