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

DOI10.1016/J.JLAMP.2015.11.007MaRDI QIDQ299180zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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
• Gaussian elimination is not optimal, revisited
• State-based components made generic

Describes a project that uses

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)