A coinductive calculus for asynchronous side-effecting processes

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

zbMATH Keywords

process algebracoinductioncomputational meta-languagecomputational monadcorecursive scheme

Mathematics Subject Classification ID

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

• HasCasl
• F#

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