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

Welch, P.H. and Martin, J.M.R. (2000) Formal Analysis of Concurrent Java Systems. In: Communicating Process Architectures 2000, sep, 2000, Canterbury, UK. (Full text available)
[img]
Preview

Welch, Peter H. and Martin, J.M.R. (2000) A CSP Model for Java Multithreading. In: 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), Jun 10-11, 2000 , Limerick, Ireland. (The full text of this publication is not available from this repository)

Martin, J.M.R. and Welch, P.H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (Full text available)
[img]
Preview

This list was generated on Fri May 30 12:03:21 2014 BST.