Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 48
Titolo Data di pubblicazione Autori Tipo File Abstract
A Fixed Point Theorem in a Category of Compact Metric Spaces 1-gen-1995 BALDAN, Paolo + 2.1 Articolo su rivista -
Functorial and Non-Functorial Solution of Metric Domain Equations 1-gen-1995 BALDAN, Paolo + 2.1 Articolo su rivista -
Partializing Stone Spaces Using SFP Domains 1-gen-1997 BALDAN, Paolo + 2.1 Articolo su rivista -
Concatenable Graph Processes: Relating Processes and Derivation Traces 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
Unfolding and Event Structure Semantics for Graph Grammars 1-gen-1999 BALDAN, Paolo + 2.1 Articolo su rivista -
Unfolding of Double-Pushout Graph Grammars is a Coreflection 1-gen-1999 BALDAN, Paolo + 2.1 Articolo su rivista -
Concurrent semantics of algebraic graph transformations 1-gen-1999 BALDAN, Paolo + 3.1 Articolo su libro -
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 1-gen-2000 BALDAN, Paolo + 3.1 Articolo su libro -
History Preserving Bisimulation for Contextual Nets 1-gen-2000 BALDAN, Paolo + 2.1 Articolo su rivista -
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 1-gen-2000 BALDAN, Paolo 1.01 Monografia o trattato scientifico -
Contextual Petri nets, asymmetric event structures and processes 1-gen-2001 BALDAN, Paolo + 2.1 Articolo su rivista -
Compositional Modeling of Reactive Systems Using Open Nets 1-gen-2001 BALDAN, Paolo + 3.1 Articolo su libro -
A Static Analysis Technique for Graph Transformation Systems 1-gen-2001 BALDAN, Paolo + 2.1 Articolo su rivista -
Concurrency for graph grammars (in a Petri net shell) 1-gen-2001 BALDAN, Paolo 2.1 Articolo su rivista -
Approximating the Behaviour of Graph Transformation Systems 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -
Pre-nets, read arcs and unfolding: a functorial presentation 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -
Bisimulation by Unification 1-gen-2002 BALDAN, Paolo + 2.1 Articolo su rivista -
Mostrati risultati da 1 a 20 di 48
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