A π-calculus process semantics of concurrent idealised ALGOL (0)

by C Röckl, D Sangiorgo
Venue:In Second International Conference on the Foundations of Software Science and Computation Structure