Runners for interleaving algebraic effects

DOI10.1007/978-3-031-17715-6_26OpenAlexW4312447933MaRDI QIDQ6164485

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)

Related Items (1)

Protocol choice and iteration for the free cornering

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Algebra of communicating processes with abstraction
• Fixpoint semantics and simulation
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• A sound and complete logic for algebraic effects
• Behavioural equivalence via modalities for algebraic effects
• Stateful runners of effectful computations
• Handling Algebraic Effects
• Comonadic Notions of Computation
• Similarity Quotients as Final Coalgebras
• On CSP and the Algebraic Theory of Effects
• Formal verification of parallel programs
• Runners in Action
• Interleaving vs True Concurrency: Some Instructive Security Examples
• Interaction Laws of Monads and Comonads
• The cartesian closed bicategory of generalised species of structures
• Generic Trace Semantics via Coinduction
• Lectures on Concurrency and Petri Nets

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