Towards a Design Calculus for Communicationg Programs.

Ernst-Rdiger Olderog

Browse the full CONCUR paper archive.