A small-step semantics of a concurrent calculus with Goroutines and deferred functions

DOI10.1007/978-3-319-30734-3_26zbMath1475.68050OpenAlexW2430700634MaRDI QIDQ2026809

Martin Steffen

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_26

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Operational semantics of a weak memory model with channel synchronization ⋮ Operational semantics of a weak memory model with channel synchronization

This page was built for publication: A small-step semantics of a concurrent calculus with Goroutines and deferred functions