Continuation Semantics for Asynchronous Concurrency

DOI10.3233/FI-2014-1020MaRDI QIDQ5415287zbMATH OpenOpenAlexFDO

Authors 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

asynchronous communicationcontinuations for concurrencymetric semantics

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)

Cited in

(7)

• Behavioural semantics for asynchronous components
• Continuation passing semantics for membrane systems
• Non-speculative and upward invocation of continuations in a parallel language
• Continuation Complexity: A Callback Hell for Distributed Systems
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415287)