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

Conference or workshop item

Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: 25 Years of CSP. (The full text of this publication is not available from this repository)

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED. (Full text available)
[img] [img]

This list was generated on Wed Apr 30 18:15:08 2014 BST.