Locally abstract, globally concrete semantics of concurrent programming languages
From MaRDI portal
Publication:1694447
DOI10.1007/978-3-319-66902-1_2zbMath1496.68080OpenAlexW2751426875MaRDI QIDQ1694447
Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Crystal Chang Din, Einar Broch Johnsen, Ka I. Pun
Publication date: 2 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_2
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
