001: 728
003: Starlibrary PMS 4.5
005: 20180430
020: ^a0-13-398389-7
066: ^aGl.g
072: ^accs and software engineering
082: ^a004.25
100: ^aGlenn Bruns
240: ^aglenn bruns distributed systems Analysis with CCS
245: ^aglenn bruns distributed systems Analysis with CCS
260: ^c1997
650: ^amodelling systems
650: ^areasoning about systems