Models for Name-Passing Processes: Interleaving and Causal (2000)

by Gian Luca Cattani , Peter Sewell
Venue:In Proceedings of LICS 2000: the 15th IEEE Symposium on Logic in Computer Science (Santa Barbara
Citations:24 - 3 self