Models for name-passing processes: interleaving and causal (2000)

by G L Cattani, P Sewell
Venue:In 15th Annual IEEE Symposium on Logic in Computer Science