A Specification Structure for Deadlock−freedom of Synchronous Processes
S. Abramsky‚ S. J. Gay and R. Nagarajan
Details
| Book Title |
Theoretical Computer Science |
| Pages |
1−53 |
| Volume |
222 |
| Year |
1999 |
Links
Related pages
|
People |