An abstraction technique for describing concurrent program behaviour
From MaRDI portal
Publication:1630044
DOI10.1007/978-3-319-72308-2_12zbMath1403.68034MaRDI QIDQ1630044
Marina Zaharieva-Stojanovski, Stefan Blom, Marieke Huisman, Dilian Gurov, Wytse Oortwijn
Publication date: 7 December 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_12
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software