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

Group by: Item Type | Date | No Grouping

Number of items: 5.

Conference or workshop item

Barnes, Frederick R. M. (2009) Mobile Escape Analysis for occam-pi. In: Communicating Process Architectures 2009. The full text of this publication is not available from this repository.

Brown, N.C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008.

Preview

Brown, N.C.C. and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England.

Preview

Welch, P.H. and Hilderink, G.H. and Bakkers, A.W.P. and Stiles, G.S. (1999) Safe and Verifiable Design of Concurrent Programs. In: Proceedings of the 3rd. International Conference on Software Engineering and Applications. The full text of this publication is not available from this repository.

Welch, P.H. and Hilderink, G.H. and Bakkers, A.W.P. and Stiles, G.S. (1999) CSP for Java: Multithreading for all. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. The full text of this publication is not available from this repository.

This list was generated on Fri May 24 10:11:16 2013 BST.