Sfoglia per Autore
A Fixed Point Theorem in a Category of Compact Metric Spaces
1995-01-01 F., Alessi; Baldan, Paolo; G., Belle
Functorial and Non-Functorial Solution of Metric Domain Equations
1995-01-01 F., Alessi; Baldan, Paolo; G., Belle; J. J. M. M., Rutten
Partializing Stone Spaces Using SFP Domains
1997-01-01 F., Alessi; Baldan, Paolo; F., Honsell
Concatenable Graph Processes: Relating Processes and Derivation Traces
1998-01-01 Baldan, Paolo; A., Corradini; U., Montanari
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
1998-01-01 Baldan, Paolo; A., Corradini; U., Montanari
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1998-01-01 F., Alessi; Baldan, Paolo
Unfolding and Event Structure Semantics for Graph Grammars
1999-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Unfolding of Double-Pushout Graph Grammars is a Coreflection
1999-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Concurrent semantics of algebraic graph transformations
1999-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; M., Loewe; U., Montanari; F., Rossi
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
2000-01-01 Baldan, Paolo; N., Busi; A., Corradini; G. M., Pinna
History Preserving Bisimulation for Contextual Nets
2000-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
2000-01-01 Baldan, Paolo
Contextual Petri nets, asymmetric event structures and processes
2001-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Compositional Modeling of Reactive Systems Using Open Nets
2001-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
A Static Analysis Technique for Graph Transformation Systems
2001-01-01 Baldan, Paolo; A., Corradini; B., Koenig
Concurrency for graph grammars (in a Petri net shell)
2001-01-01 Baldan, Paolo
Approximating the Behaviour of Graph Transformation Systems
2002-01-01 Baldan, Paolo; B., Koenig
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
2002-01-01 Baldan, Paolo; A., Corradini; U., Montanari; L., Ribeiro
Pre-nets, read arcs and unfolding: a functorial presentation
2002-01-01 Baldan, Paolo; R., Bruni; U., Montanari
Bisimulation by Unification
2002-01-01 Baldan, Paolo; R., Bruni; A., Bracciali
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