Transition and cancellation in concurrency and branching time (0)

by V R Pratt
Venue:Mathematical Structures in Computer Science 13(4) (2003