Showing Invariance Compositionally for a Process Algebra for Network Protocols.

Timothy Bourke, Rob J. van Glabbeek, Peter Hfner

Browse the full ITP paper archive.