From global to local state, coalgebraically and compositionally

DOI10.1016/J.ENTCS.2019.09.011OpenAlexW2995650775WikidataQ113317352 ScholiaQ113317352MaRDI QIDQ2133173FDOQ2133173

Authors: Jim Laird 

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.09.011

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites Work

• Universal coalgebra: A theory of systems
• Linearly-used state in models of call-by-value
• Title not available (Why is that?)
• Premonoidal categories and notions of computation
• A coinductive calculus of streams
• A calculus of mobile processes. I
• Title not available (Why is that?)
• Traced monoidal categories
• A note on actions of a monoidal category
• Some programming languages suggested by game models (extended abstract)
• A categorical semantics of higher order store
• Imperative programs as proofs via game semantics
• Coalgebras and monads in the semantics of Java
• A syntactic theory of sequential control
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics

Cited In (3)

• An axiomatic account of a fully abstract game semantics for general references
• Axiomization of passage from “local” structure to “global” object
• Title not available (Why is that?)

This page was built for publication: From global to local state, coalgebraically and compositionally

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133173)