Models for Name-Passing Processes: Interleaving and Causal.

Gian Luca Cattani, Peter Sewell

Browse the full LICS paper archive.