Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 3.
Welch, Peter H. and Martin, Jeremy M. R. (2000) Formal Analysis of Concurrent Java Systems. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 275-301. ISBN 1586030779 ; 4274904016. (Full text available) |
Welch, Peter H. and Martin, Jeremy M. R. (2000) A CSP Model for Java Multithreading. In: Nixon, Paddy and Ritchie, I., eds. Software Engineering for Parallel and Distributed Systems. IEEE Computer Society Press pp. 114-122. ISBN 0-7695-0634-8. (doi:https://doi.org/10.1109/PDSE.2000.847856) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Martin, Jeremy M. R. and Welch, Peter H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (Full text available) |