TY  - RPRT
TI  - A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
AU  - Petros Papapanagiotou
AU  - Jacques Fleuriot
PY  - 2018
UR  - https://arxiv.org/abs/1808.05490
ID  - 1808.05490
ER  -