A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference.

Petros Papapanagiotou, Jacques D. Fleuriot

Browse the full LOPSTR paper archive.