Control Structures: a Model of Interaction

[1]  Robin Milner,et al.  Control structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[2]  Robin Milner,et al.  Action Structures and the Pi Calculus , 1995 .