Items where Author is "Heckel, Reiko"
Group by: Item Type | No Grouping Jump to: Book Number of items: 3. BookBaldan, Paolo and Corradini, Andrea and Ehrig, H. and Heckel, Reiko (2001) Compositional Semantics of Open Petri Nets based on Deterministic Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Heckel, Reiko and Montanari, Ugo (2001) Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, H. and Heckel, Reiko and Loewe, M. (1996) Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |