Structured Co-spans: An Algebra of Interaction Protocols

DOI10.1007/978-3-540-73859-6_14MaRDI QIDQ3612491zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Vincent Schmitt

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_14

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1686270
• On the algebra of structured specifications
• An Explicit Framework for Interaction Nets
• An explicit framework for interaction nets
• scientific article; zbMATH DE number 1497880
• The Algebra of Connectors—Structuring Interaction in BIP
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks

Cited in

(9)

• Programming interfaces and basic topology
• What Do Semantics Matter When the Meat Is Overcooked?
• Spanoids - An Abstraction of Spanning Structures, and a Barrier for LCCs
• Structured and decorated cospans from the viewpoint of double category theory
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Encapsulating deontic and branching time specifications
• Products in double categories, revisited
• Double categories of open systems: the cospan approach

This page was built for publication: Structured Co-spans: An Algebra of Interaction Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612491)