Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
A NOTE ON MÉTIVIER'S CONSTRUCTION OF ASYNCHRONOUS AUTOMATA FOR TRIANGULATED GRAPHS
Fundamenta Informaticae
Note: A quadratic construction for Zielonka automata with acyclic communication structure
Theoretical Computer Science
Hi-index | 0.00 |