Publication:5111648

DOI10.4230/LIPIcs.CONCUR.2017.34zbMath1442.68148MaRDI QIDQ5111648

Andrzej S. Murawski, Nikos Tzevelekos

Publication date: 27 May 2020

zbMATH Keywords

concurrency; higher-order computation; linearisability

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)