Pino, L. F., Bonchi, F., & Valencia, F. (2015). Efficient algorithms for program equivalence for confluent concurrent constraint programming. Science of computer programming, 111, 135-155. https://doi.org/10.1016/j.scico.2014.12.003
Chicago-Zitierstil (17. Ausg.)Pino, Luis F., Filippo Bonchi, und Frank Valencia. "Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming." Science of Computer Programming 111 (2015): 135-155. https://doi.org/10.1016/j.scico.2014.12.003.
MLA-Zitierstil (9. Ausg.)Pino, Luis F., et al. "Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming." Science of Computer Programming, vol. 111, 2015, pp. 135-155, https://doi.org/10.1016/j.scico.2014.12.003.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.