Files
@ 10ae3589084a
Branch filter:
Location: CSY/reowolf/examples/eg_protocols.pdl
10ae3589084a
598 B
text/plain
defined endpoint manager; made explicit its invariants