Gadducci, F., Santini, F., Pino, L. F., & Valencia, F. D. (2017). Observational and behavioural equivalences for soft concurrent constraint programming. Journal of logical and algebraic methods in programming, 92, 45-63. https://doi.org/10.1016/j.jlamp.2017.06.001
Chicago Style (17th ed.) CitationGadducci, Fabio, Francesco Santini, Luis F. Pino, and Frank D. Valencia. "Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming." Journal of Logical and Algebraic Methods in Programming 92 (2017): 45-63. https://doi.org/10.1016/j.jlamp.2017.06.001.
MLA (9th ed.) CitationGadducci, Fabio, et al. "Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming." Journal of Logical and Algebraic Methods in Programming, vol. 92, 2017, pp. 45-63, https://doi.org/10.1016/j.jlamp.2017.06.001.