An equational modeling of asynchronous concurrent programming

DOI10.1007/978-3-030-57761-2_9zbMath1475.68062OpenAlexW3082965907MaRDI QIDQ2037432

David Janin

Publication date: 1 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57761-2_9

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

This page was built for publication: An equational modeling of asynchronous concurrent programming