Sfoglia per Autore
Relating Two Categorial Models of Term Rewriting
1995-01-01 Corradini, Andrea; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Concurrent Computing: from Petri Nets to Graph Grammars
1995-01-01 Corradini, Andrea
Declarative Specification of the Architecture of a Software Development Environment
1995-01-01 Ambriola, Vincenzo; Ciancarini, P; Corradini, Andrea
CPO Models for Infinite Term Rewriting
1995-01-01 Corradini, Andrea; Gadducci, Fabio
A compositional approach to structuring and refinement of typed graph grammars
1995-01-01 Corradini, Andrea; Heckel, R.
Synchronized Composition of Graph Grammar Productions
1996-01-01 Corradini, Andrea; Rossi, F.
Concurrent Graph and Term Graph Rewriting
1996-01-01 Corradini, Andrea
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
1996-01-01 Heckel, R; Corradini, Andrea; Ehrig, H; Loewe, M.
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations
1996-01-01 Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Padberg, J.
An Event Structure Semantics for Graph Grammars with Parallel Productions
1996-01-01 Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Graph Processes
1996-01-01 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
1997-01-01 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F; Ehrig, H; Heckel, R; Loewe, M.
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach
1997-01-01 Ehrig, H; Heckel, R; Korff, M; Loewe, M; Ribeiro, L; Wagner, A; Corradini, Andrea
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
1997-01-01 Heckel, R; Ehrig, H; Wolter, U; Corradini, Andrea
A 2-Categorical Presentation of Term Graph Rewriting
1997-01-01 Corradini, Andrea; Gadducci, Fabio
Structured Transition Systems as Lax Coalgebras
1998-01-01 Corradini, Andrea; Grosse Rhode, M; Heckel, R.
A Completeness result for equational deduction in coalgebraic specification
1998-01-01 Corradini, Andrea
Contents and abstracts of the electronic notes in Theoretical Computer Science, vol 2 - Proceedings, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Volterra, Pisa, Italy, 28 August 1 September 1995 - Preface
1998-01-01 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
1998-01-01 Baldan, P; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
Functorial semantics for multi-algebras
1998-01-01 Corradini, Andrea; Gadducci, Fabio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile