Matrices, machines and behaviors

DOI10.1007/BF00122683zbMath0859.18005OpenAlexW2079677011MaRDI QIDQ2563761

Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters

Publication date: 9 April 1997

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00122683

zbMATH Keywords

iteration theoriesconcurrencyfinite state automatonbicategorysemantic category

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Related Items (5)

Feedback, trace and fixed-point semantics ⋮ Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ Towards a linear algebra of programming ⋮ Algebraic dynamical systems in machine learning ⋮ WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES

Cites Work

• Unnamed Item
• Unnamed Item
• Matrix and matricial iteration theories. I
• Categories and Computer Science
• Equational axioms for regular sets
• An imperative language based on distributive categories II

This page was built for publication: Matrices, machines and behaviors