Edinburgh Research Explorer

Correct-by-construction Process Composition Using Classical Linear Logic Inference

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Correct-by-construction Process Composition Using Classical Linear Logic Inference. / Papapanagiotou, Petros; Fleuriot, Jacques.

28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany : Springer, Cham, 2018. p. 77-93.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Papapanagiotou, P & Fleuriot, J 2018, Correct-by-construction Process Composition Using Classical Linear Logic Inference. in 28th International Symposium on Logic-Based Program Synthesis and Transformation. Springer, Cham, Frankfurt am Main, Germany, pp. 77-93, 28th International Symposium on Logic-Based Program Synthesis and Transformation, Frankfurt , Germany, 4/09/18. <https://arxiv.org/html/1808.03326>

APA

Papapanagiotou, P., & Fleuriot, J. (2018). Correct-by-construction Process Composition Using Classical Linear Logic Inference. In 28th International Symposium on Logic-Based Program Synthesis and Transformation (pp. 77-93). Springer, Cham. https://arxiv.org/html/1808.03326

Vancouver

Papapanagiotou P, Fleuriot J. Correct-by-construction Process Composition Using Classical Linear Logic Inference. In 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany: Springer, Cham. 2018. p. 77-93

Author

Papapanagiotou, Petros ; Fleuriot, Jacques. / Correct-by-construction Process Composition Using Classical Linear Logic Inference. 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany : Springer, Cham, 2018. pp. 77-93