Skip to main content

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