Span(Graph): a canonical feedback algebra of open transition systems

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001. Span(Graph): a canonical feedback algebra of open transition systems. Software and Systems Modeling, 22(2):495-520, April 2023. [doi]

Abstract

Abstract is missing.