Deterministic concurrent strategies (2012)

by Glynn Winskel
Venue:Formal Asp. Comput