The Concurrency Workbench with Priorities (1992)

by C T Jensen
Venue:In Proceedings of ComputerAided Verification '91. To appear in Lecture Notes in Computer Science