author : J. M. R. Martin

Short works

• A Tool for Proving Deadlock Freedom. 1997. (In Parallel Programming and Java )
• How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction. 1997. (In Parallel Programming and Java )