scientific article; zbMATH DE number 1107620

MaRDI QIDQ4373555zbMATH OpenFDO

Authors Piergiolio Katis, N. Sabadini, R. F. C. Walters

Publication date 20 April 1998

zbMATH Keywords

algebra of transition systemsconcurrencyconcurrent systemsgeometry of distributed systemsnon-deterministic automataPenrose algebra of tensorsspecification of computing systemsstructured transition systems

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1107621
• scientific article; zbMATH DE number 792228
• On the geometry and algebra of networks with state
• Directed algebraic topology and higher dimensional transition systems
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks

Cited in

(35)

• Dynamic connectors for concurrency
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Injective envelope and parallel decomposition of a transition system
• Normal forms for algebras of connections.
• Categorical foundations for randomly timed automata
• Bialgebraic foundations for the operational semantics of string diagrams
• Blocked-braid groups
• The geometry of cubical and regular transition systems
• An algebra of automata that includes both classical and quantum entities
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• Concrete process categories
• Refined Graph Rewriting in Span-Categories
• The compositional construction of Markov processes. II
• Calculating Colimits Compositionally
• Processes in space
• Processes in space
• scientific article; zbMATH DE number 1107621 (Why is no real title available?)
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
• Feedback, trace and fixed-point semantics
• Algebraic structures of directed acyclic graphs: application to concurrent calculus
• scientific article; zbMATH DE number 1418361 (Why is no real title available?)
• Spanoids - An Abstraction of Spanning Structures, and a Barrier for LCCs
• CospanSpan(Graph): a compositional description of the heart system
• Formal composition of hybrid systems
• A programming language for spatial distribution of net systems
• A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
• On the geometry and algebra of networks with state
• Concurrent Process Histories and Resource Transducers
• Situated transition systems
• A diagrammatic view of differential equations in physics
• The compositional construction of Markov processes
• Presheaf automata
• Structured and decorated cospans from the viewpoint of double category theory
• Compositional separation of control flow and data flow
• Double categories of open systems: the cospan approach

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