scientific article; zbMATH DE number 1107621
From MaRDI portal
Publication:4373556
zbMath0885.18005MaRDI QIDQ4373556
Piergiulio Katis, Robert F. C. Walters, Nicoletta Sabadini
Publication date: 20 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
place/transition systemcompact closed bicategoryPenrose string diagramsspans of reflexive graphsspecifications of concurrent systems
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Categorical foundations for randomly timed automata ⋮ A Normal Form for Stateful Connectors ⋮ Unnamed Item ⋮ A compositional framework for reaction networks ⋮ Towards compositional graph theory ⋮ On the geometry and algebra of networks with state ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Relational presheaves, change of base and weak simulation
This page was built for publication:
