| Login | Create Account |
Items where Author is "Corradini, Andrea"
Group by: Item Type | No Grouping Jump to: Book Number of items: 10. BookCorradini, Andrea (2009) TERMGRAPH 2009 Preliminary Proceedings. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Gadducci, Fabio (2008) Preliminary proceedings of WADT 2008. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. 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. Baldan, Paolo and Busi, N. and Corradini, Andrea and Pinna, G.M. (2000) Domain and Event Structure Semantics for Petri Nets with Read and Inhibitors arcs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Gadducci, Fabio and Kahl, W. (2000) Term Graph Syntax for Multi-Algebras. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Baldan, Paolo and Corradini, Andrea and Montanari, Ugo (1999) Contextual Petri nets, Asymmetric Event Structures and Processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Gadducci, Fabio (1998) Rewriting on cyclic structures. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Corradini, Andrea and Drewes, Frank (1997) (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting. 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. |
