Models for name-passing processes: interleaving and causal

Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) ◽

10.1109/lics.2000.855781 ◽

2002 ◽

Cited By ~ 12

Author(s):

G.L. Cattani ◽

P. Sewell

Download Full-text