Structured Co-spans: An Algebra of Interaction Protocols

DOI10.1007/978-3-540-73859-6_14zbMath1214.68229OpenAlexW1836209864MaRDI QIDQ3612491

Vincent Schmitt, José Luiz Fiadeiro

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)

Related Items (2)

What Do Semantics Matter When the Meat Is Overcooked? ⋮ Encapsulating deontic and branching time specifications

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