A pi-calculus Process Semantics of Concurrent Idealised ALGOL.

Christine Rckl, Davide Sangiorgi

Browse the full FOSSACS paper archive.