scientific article; zbMATH DE number 7080198
From MaRDI portal
Publication:4968384
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Unifying guarded and unguarded iteration
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- A metalanguage for guarded iteration
- Towards a unified framework for decomposability of processes
- CONCUR 2005 – Concurrency Theory
- Process algebra with recursive operations
- Process algebra with guards: Combining hoare logic with process algebra
- Bicategories of processes
- scientific article; zbMATH DE number 5263402
Cites work
- A coinductive calculus for asynchronous side-effecting processes
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Axiomatizing iteration categories
- Coalgebraic Infinite Traces and Kleisli Simulations
- Complete Elgot monads and coalgebraic resumptions
- Completely iterative algebras and completely iterative monads
- Elgot theories: a new perspective on the equational properties of iteration
- Equational properties of iterative monads
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- General Recursion via Coinductive Types
- Generic Trace Semantics via Coinduction
- Guard your daggers and traces: properties of guarded (co-)recursion
- Guarded traced categories
- Handbook of process algebra
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1343506 (Why is no real title available?)
- scientific article; zbMATH DE number 517046 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- Infinite trees and completely iterative theories: A coalgebraic view
- Introduction to extensive and distributive categories
- Monads for behaviour
- Notions of computation and monads
- On the algebraic structure of rooted trees
- Partiality, Revisited
- Quotienting the delay monad by weak bisimilarity
- The coinductive resumption monad
- Unguarded recursion on coinductive resumptions
- Unifying guarded and unguarded iteration
Cited in
(10)- Unifying guarded and unguarded iteration
- Guarded and unguarded coroutines: An implementation in BCPL
- Unguarded recursion on coinductive resumptions
- Guard your daggers and traces: properties of guarded (co-)recursion
- Guard your daggers and traces: on the equational properties of guarded (co-)recursion
- A semantics for hybrid iteration
- Unguardedness mostly means many solutions
- A metalanguage for guarded iteration
- Unguarded recursion on coinductive resumptions
- Representing guardedness in call-by-value and guarded parametrized monads
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4968384)
