scientific article; zbMATH DE number 1522866

MaRDI QIDQ4511151zbMATH OpenFDO

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

Publication date 8 January 2003

zbMATH Keywords

geometrysystemalgebraspecificationbicategorycircuitsmonoidal categoryinput-driven systemsspans of graphsnon-deterministic systemscompact closed bicategoryinput-feedback-output systemssystems with boundaries

Mathematics Subject Classification ID

Applications of graph theory to circuits and networks (94C15) Categories of machines, automata (18B20)

Recommendations

• Feedback, trace and fixed-point semantics
• Bicategories of processes
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• Categories in control
• scientific article; zbMATH DE number 4187117

Cited in

(11)

• Props in Network Theory
• Feedback, trace and fixed-point semantics
• Monoidal streams for dataflow programming
• Dynamical systems and sheaves
• Blocked-braid groups
• scientific article; zbMATH DE number 4106697 (Why is no real title available?)
• A recipe for black box functors
• Calculating Colimits Compositionally
• A Compositional Framework for Passive Linear Networks
• On the geometry and algebra of networks with state
• scientific article; zbMATH DE number 4059471 (Why is no real title available?)

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