scientific article; zbMATH DE number 1107621

MaRDI QIDQ4373556zbMATH OpenFDO

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

Publication date 20 April 1998

zbMATH Keywords

compact closed bicategoryPenrose string diagramsplace/transition systemspans of reflexive graphsspecifications of concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1107620
• On the geometry and algebra of networks with state
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
• scientific article; zbMATH DE number 749804

Cited in

(11)

• Categorical foundations for randomly timed automata
• Relational presheaves, change of base and weak simulation
• A normal form for stateful connectors
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
• On the geometry and algebra of networks with state
• A compositional framework for reaction networks
• Bialgebraic semantics for string diagrams
• Towards compositional graph theory
• Dialectica Petri nets
• The calculus of signal flow diagrams. I: Linear relations on streams.

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