Runners for interleaving algebraic effects

DOI10.1007/978-3-031-17715-6_26MaRDI QIDQ6164485zbMATH OpenOpenAlexFDO

Authors Niels Voorneveld

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_26

zbMATH Keywords

algebraic effectsprogram equivalencetrace semanticsinterleaving concurrencystateful runners

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 3928334 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A sound and complete logic for algebraic effects
• Algebra of communicating processes with abstraction
• Behavioural equivalence via modalities for algebraic effects
• Comonadic notions of computation
• Effectful applicative bisimilarity: monads, relators, and Howe's method
• Fixpoint semantics and simulation
• Formal verification of parallel programs
• Generic Trace Semantics via Coinduction
• Handling algebraic effects
• Interaction laws of monads and comonads
• Interleaving vs True Concurrency: Some Instructive Security Examples
• Lectures on Concurrency and Petri Nets
• Notions of computation and monads
• On CSP and the algebraic theory of effects
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Runners in Action
• Similarity quotients as final coalgebras
• Stateful runners of effectful computations
• The cartesian closed bicategory of generalised species of structures

Cited in

(1)

• Protocol choice and iteration for the free cornering

This page was built for publication: Runners for interleaving algebraic effects

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