Concurrency Semantics in Continuation-Passing Style

DOI10.3233/FI-2017-1534zbMath1377.68152OpenAlexW2624357890MaRDI QIDQ4599817

Nikolaos S. Papaspyrou, Eneia Nicolae Todoran

Publication date: 5 January 2018

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

Full work available at URL: https://doi.org/10.3233/fi-2017-1534

zbMATH Keywords

metric spacesdenotational semanticscontinuation-passing styleconcurrency 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)

Uses Software

• Haskell

This page was built for publication: Concurrency Semantics in Continuation-Passing Style