P.: Models for name-passing processes: Interleaving and causal (2000)

by G L Cattani, Sewell
Venue:In: Proc. of LICS