UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Heckel, Reiko"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 3.

Book

Baldan, 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.

This list was generated on Tue Apr 23 11:08:05 2024 CEST.