Runners for interleaving algebraic effects
From MaRDI portal
Publication:6164485
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
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)