``Keep definition, change category -- a practical approach to state-based system calculi

DOI10.1016/J.JLAMP.2015.11.007zbMATH Open1344.68150OpenAlexW2242936154MaRDI QIDQ299180FDOQ299180

Authors: J. N. Oliveira, Victor Cacciari Miraldo 

Publication date: 22 June 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.11.007

Recommendations

• A recipe for state-and-effect triangles
• A recipe for state-and-effect triangles
• State-based components made generic
• From qualitative to quantitative semantics. By change of base
• Relations and quantizations in the category of probabilistic bundles

zbMATH Keywords

linear algebrarelation algebraMealy automataKleisli categorysoftware calculi

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algebraic theory of languages and automata (68Q70) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Cites Work

• Universal coalgebra: A theory of systems
• Combining effects: sum and tensor
• Categories for the Practising Physicist
• Title not available (Why is that?)
• Relational Methods in Computer Science
• Generic Trace Semantics via Coinduction
• Title not available (Why is that?)
• Generic Forward and Backward Simulations
• Lifting theorems for Kleisli categories
• Probabilistic systems coalgebraically: a survey
• Hadamard, Khatri-Rao, Kronecker and other matrix products
• Labelled Markov processes.
• Title not available (Why is that?)
• Generalising monads to arrows
• Towards a linear algebra of programming
• Trace semantics via determinization
• A linear algebra approach to OLAP
• Monads on symmetric monoidal closed categories
• Strong functors and monoidal monads
• Coalgebraic components in a many-sorted microcosm
• Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory
• Exercises in Quantifier Manipulation
• A coalgebraic perspective on linear weighted automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• Weighted automata as coalgebras in categories of matrices
• Developments in concurrent Kleene algebra
• Preparing relational algebra for ``just good enough hardware
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Transposing partial components--an exercise on coalgebraic refinement
• New structures for physics

Cited In (4)

• Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
• Probabilistic mediator: a coalgebraic perspective
• State-based components made generic
• Gaussian elimination is not optimal, revisited

Uses Software

• Haskell

This page was built for publication: ``Keep definition, change category -- a practical approach to state-based system calculi

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