Span(Graph): A categorical algebra of transition systems (1997)

by P Katis, N Sabadini, R F C Walters
Venue:Proceedings, Algebraic Methodology and Software Technology, SLNCS 1349