Complete Axioms for Stateless Connectors

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11548133_7 ◽

2005 ◽

pp. 98-113 ◽

Cited By ~ 3

Author(s):

Roberto Bruni ◽

Ivan Lanese ◽

Ugo Montanari