home
>
book reviews
> S. A. Jassim
Google >
S. A. Jassim
author : S. A. Jassim
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
)