2 search results - page 1 / 1 » Structured Co-spans: An Algebra of Interaction Protocols |
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
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...
APN
2008
Springer
14 years 24 days ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...