TY  - RPRT
TI  - Distribution of Behaviour into Parallel Communicating Subsystems
AU  - Omar al Duhaiby
AU  - Jan Friso Groote
PY  - 2019
DO  - 10.4204/eptcs.300.4
UR  - https://arxiv.org/abs/1905.12963
ID  - 1905.12963
ER  -