An algebraic approach to concurrent programming control and related complexity problems (1976)

by A CREMERS, T HIBBARD
Venue:In Algorithms and Complexity: New Directions and Recent Results