TY  - RPRT
TI  - Showing invariance compositionally for a process algebra for network protocols
AU  - Timothy Bourke
AU  - Robert J. van Glabbeek
AU  - Peter Höfner
PY  - 2014
DO  - 10.1007/978-3-319-08970-6_10
UR  - https://arxiv.org/abs/1407.3519
ID  - 1407.3519
ER  -