A coinductive calculus for asynchronous side-effecting processes
From MaRDI portal
Publication:393094
DOI10.1016/j.ic.2013.08.012zbMath1358.68212OpenAlexW2003927942MaRDI QIDQ393094
Lutz Schröder, Sergei S. Goncharov
Publication date: 16 January 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2013.08.012
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Unnamed Item ⋮ Unguarded recursion on coinductive resumptions ⋮ Unifying Guarded and Unguarded Iteration ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Combining algebraic effects with continuations
- On the relations between monadic semantics
- HasCasl: integrated higher-order specification and program development
- An axiomatic proof technique for parallel programs
- The Rely-Guarantee method for verifying shared variable concurrent programs
- A fully abstract model for the \(\pi\)-calculus.
- Universal coalgebra: A theory of systems
- Algebraic operations and generic effects
- Coalgebras and monads in the semantics of Java
- Free-algebra models for the \(\pi \)-calculus
- Combining effects: sum and tensor
- Strong functors and monoidal monads
- Kleene Monads: Handling Iteration in a Framework of Generic Effects
- Complete Iterativity for Algebras with Effects
- From Coalgebraic to Monoidal Traces
- Recursive monadic bindings
- A Coinductive Calculus for Asynchronous Side-Effecting Processes
- Modular Monad Transformers
- The Essence of Multitasking
- Introduction to distributive categories
- Generalised coinduction
- Traced Premonoidal Categories
- Generalizing Substitution
- A study of evaluation order semantics in expressions with side effects
- Monad-independent Dynamic Logic in HasCasl
- A poor man's concurrency monad
- General Recursion via Coinductive Types
- Algebraic Methodology and Software Technology
This page was built for publication: A coinductive calculus for asynchronous side-effecting processes
