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

Conference or workshop item

Brown, Neil C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Communicating Process Architectures 2009. (Full text available)
[img]
Preview

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, Neil C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Communicating Process Architectures 2009. (Full text available)
[img]
Preview

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Communicating Process Architectures 2009. (The full text of this publication is not available from this repository)

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. 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 Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner 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, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner 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 Sat Oct 25 21:42:44 2014 BST.