Sciweavers

CALCO
2007
Springer
89views Mathematics» more  CALCO 2007»
14 years 6 months ago
Structured Co-spans: An Algebra of Interaction Protocols
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
José Luiz Fiadeiro, Vincent Schmitt