A specification structure for deadlock-freedom of synchronous processes (1999)

Cached

Download Links

by S. Abramsky , S. J. Gay , R. Nagarajan
Venue:TCS
Citations:3 - 1 self