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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 3.

Article

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)

Preview

Conference or workshop item

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)

Preview

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)

This list was generated on Sat May 25 02:11:28 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0