Login / Signup
Peter E. D. Strain-Clark
Publication Activity (10 Years)
Years Active: 1988-1996
Publications (10 Years): 0
</>
Publications
</>
W. David Crowe
,
Peter E. D. Strain-Clark
Deadlock-free completely connected networks: towards a π-calculus approach.
Softw. Eng. J.
11 (2) (1996)
W. David Crowe
,
Peter E. D. Strain-Clark
A Concurrent Approach to the Towers of Hanoi.
Specification and Verification of Concurrent Systems
(1988)