Runners for interleaving algebraic effects
From MaRDI portal
Publication:6164485
DOI10.1007/978-3-031-17715-6_26OpenAlexW4312447933MaRDI QIDQ6164485FDOQ6164485
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generic Trace Semantics via Coinduction
- Notions of computation and monads
- Algebra of communicating processes with abstraction
- Fixpoint semantics and simulation
- Title not available (Why is that?)
- Formal verification of parallel programs
- Similarity quotients as final coalgebras
- Title not available (Why is that?)
- The cartesian closed bicategory of generalised species of structures
- Title not available (Why is that?)
- Comonadic notions of computation
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- A sound and complete logic for algebraic effects
- Handling algebraic effects
- Behavioural equivalence via modalities for algebraic effects
- Lectures on Concurrency and Petri Nets
- Effectful applicative bisimilarity: monads, relators, and Howe's method
- Interleaving vs True Concurrency: Some Instructive Security Examples
- Interaction laws of monads and comonads
- Stateful runners of effectful computations
- On CSP and the algebraic theory of effects
- Runners in Action
Cited In (1)
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)
