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

by Christine Röckl , Davide Sangiorgi
Venue:In Proc. FOSSACS'99, volume 1578 of LNCS
Citations:3 - 0 self