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

Group by: Item Type | Date | No Grouping

2000 1997

Number of items: 3.

2000

Welch, P.H. and Martin, J.M.R. (2000) Formal Analysis of Concurrent Java Systems. In: Communicating Process Architectures 2000, sep, 2000, Canterbury, UK.

Preview

Welch, P.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.

1997

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.

Preview

This list was generated on Mon May 20 03:45:56 2013 BST.