Sfoglia per Autore
High-Level Net Processes
2002-01-01 H., Ehrig; K., Hoffmann; J., Padberg; Baldan, Paolo; R., Heckel
Bisimulation Equivalences for Graph Grammars
2002-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Bisimulation by Unification
2002-01-01 Baldan, Paolo; R., Bruni; A., Bracciali
A category of compositional domain-models for separable Stone spaces
2003-01-01 F., Alessi; Baldan, Paolo; F., Honsell
A Logic for Analyzing Abstractions of Graph Transformation Systems
2003-01-01 Baldan, Paolo; B., Koenig; B., Koenig
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
2004-01-01 Baldan, Paolo; N., Busi; A., Corradini; G. M., Pinna
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
2004-01-01 Baldan, Paolo; B., Koenig; I., Stuermer
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
2004-01-01 Baldan, Paolo; A., Corradini; B., Koenig
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
2004-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Verifying a Behavioural Logic for Graph Transformation Systems
2004-01-01 Baldan, Paolo; A., Corradini; B., Koenig; B., Koenig
A rewriting calculus for cyclic higher-order term graphs
2005-01-01 C., Bertolissi; Baldan, Paolo; H., Cirstea; C., Kirchner
Compositional Semantics for Open Petri Nets based on Deterministic Processes
2005-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Specifying and Verifying UML Activity Diagrams via Graph Transformation
2005-01-01 Baldan, Paolo; A., Corradini; F., Gadducci
Symbolic Equivalences for Open Systems
2005-01-01 Baldan, Paolo; R., Bruni; A., Bracciali
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS
2005-01-01 Baldan, Paolo; A., Corradini
Verifying Red-Black Trees
2005-01-01 Baldan, Paolo; A., Corradini; J., Esparza; T., Heindel; B., Koenig; V., Kozioura
Graph Grammar Verification through Abstraction
2005-01-01 Baldan, Paolo; B., Koenig; A., Rensink
Graph Transactions as Processes
2006-01-01 Baldan, Paolo; A., Corradini; L., Foss; F., Gadducci
Distributed Unfolding of Petri Nets
2006-01-01 Baldan, Paolo; S., Haar; B., Koenig
Composition and Decomposition of DPO Transformations with Borrowed Context
2006-01-01 Baldan, Paolo; B., Koenig; H., Ehrig
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