Continuation Semantics for Asynchronous Concurrency

DOI10.3233/FI-2014-1020zbMath1359.68217OpenAlexW1556046194MaRDI QIDQ5415287

Gabriel Ciobanu, Eneia Nicolae Todoran

Publication date: 12 May 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1020

zbMATH Keywords

metric semanticsasynchronous communicationcontinuations for concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Variants of spiking neural P systems and their operational semantics in Haskell ⋮ Spiking neural P systems and their semantics in Haskell ⋮ A process calculus for spiking neural P systems ⋮ Continuation Passing Semantics for Membrane Systems

This page was built for publication: Continuation Semantics for Asynchronous Concurrency