Frank D. Anger;Rita V. Rodríguez
-;-
Using Constraint Propagation to Reason about UnsynchronizedClocks
Constraints
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited