Edinburgh Research Explorer

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

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

Standard

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. / Papapanagiotou, Petros; Fleuriot, Jacques.

Logic-Based Program Synthesis and Transformation. ed. / Fred Mesnard; Peter J. Stuckey. Cham : Springer International Publishing, 2019. p. 77-93 (LNCS; Vol. 11408).

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

Harvard

Papapanagiotou, P & Fleuriot, J 2019, A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. in F Mesnard & PJ Stuckey (eds), Logic-Based Program Synthesis and Transformation. LNCS, vol. 11408, Springer International Publishing, Cham, pp. 77-93, 28th International Symposium on Logic-Based Program Synthesis and Transformation, Frankfurt , Germany, 4/09/18. https://doi.org/10.1007/978-3-030-13838-7_5

APA

Papapanagiotou, P., & Fleuriot, J. (2019). A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. In F. Mesnard, & P. J. Stuckey (Eds.), Logic-Based Program Synthesis and Transformation (pp. 77-93). (LNCS; Vol. 11408). Springer International Publishing. https://doi.org/10.1007/978-3-030-13838-7_5

Vancouver

Papapanagiotou P, Fleuriot J. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. In Mesnard F, Stuckey PJ, editors, Logic-Based Program Synthesis and Transformation. Cham: Springer International Publishing. 2019. p. 77-93. (LNCS). https://doi.org/10.1007/978-3-030-13838-7_5

Author

Papapanagiotou, Petros ; Fleuriot, Jacques. / A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. Logic-Based Program Synthesis and Transformation. editor / Fred Mesnard ; Peter J. Stuckey. Cham : Springer International Publishing, 2019. pp. 77-93 (LNCS).