scientific article; zbMATH DE number 7449991

MaRDI QIDQ3385646zbMATH OpenFDO

Authors Tom Hirschowitz

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1908.11169, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A monad for full ground reference cells
• Codensity and the Giry monad
• Modular specification of monads through higher-order presentations
• From corecursive algebras to corecursive monads
• Coalgebraic monads
• Affine Monads and Side-Effect-Freeness
• scientific article; zbMATH DE number 1231629
• The formal theory of multimonoidal monads
• Weak Bisimulations for the Giry Monad (Extended Abstract)
• Monadic convergence structures revisited

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• A calculus of communicating systems
• A structural approach to operational semantics
• Basic Category Theory
• Bisimulation can't be traced
• Categorical homotopy theory
• Coinduction up-to in a fibrational setting
• Comparing operational models of name-passing process calculi
• Compositional SOS and beyond: A coalgebraic view of open systems
• Connected limits, familial representability and Artin glueing
• On the construction of free algebras for equational systems
• SOS formats and meta-theory: 20 years after
• Shapely monads and analytic functors
• Sheaves in geometry and logic: a first introduction to topos theory
• Structured operational semantics and bisimulation as a congruence

Cited in

(2)

• Cellular Monads from Positive GSOS Specifications
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

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 Q3385646)