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