Compositional semantics for open Petri nets based on deterministic processes
P. Baldan, A. Corradini
págs. 1-36
págs. 37-92
A coinductive calculus of streams
J. J. M. M. Rutten
págs. 93-148
Operations and equations for coalgebras
J. Rosicky, A. Kurz
págs. 149-166
Classical logic as limit completion
S. Berardi
págs. 167-200
© 2008-2024 Fundación Dialnet · Todos los derechos reservados