A Coinductive Calculus for Asynchronous Side-Effecting Processes

DOI10.1007/978-3-642-22953-4_24zbMath1342.68231OpenAlexW2149142030MaRDI QIDQ3088290

Lutz Schröder, Sergei S. Goncharov

Publication date: 19 August 2011

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22953-4_24

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

The coinductive resumption monad ⋮ A coinductive calculus for asynchronous side-effecting processes

Uses Software

• HasCasl
• Haskell
• F#

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• On the relations between monadic semantics
• HasCasl: integrated higher-order specification and program development
• A fully abstract model for the \(\pi\)-calculus.
• Universal coalgebra: A theory of systems
• Coalgebras and monads in the semantics of Java
• Complete Iterativity for Algebras with Effects
• From Coalgebraic to Monoidal Traces
• Recursive monadic bindings
• 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
• Semantics for Algebraic Operations
• General Recursion via Coinductive Types

This page was built for publication: A Coinductive Calculus for Asynchronous Side-Effecting Processes