Sfoglia per Autore Quaglia, Paola
A Fully Parallel Calculus of Synchronizing Processes
1993-01-01 D., Latella; Quaglia, Paola
A pi-calculus with Explicit Substitutions: the Late Semantics
1994-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
Towards a Semantic-Based Verification Environment for the pi-calculus
1995-01-01 G., Ferrari; G., Modoni; Quaglia, Paola
The Weak Late pi-calculus Semantics as Observation Equivalence
1995-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
A pi-calculus with explicit Substitutions
1996-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
Towards a Semantic-Based Verification Environment for the pi-calculus
1996-01-01 Ferrari, G. L.; Modoni, G; Quaglia, Paola
A pi-calculus with explicit substitutions
1996-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
Pi-Congruences as CCS Equivalences
1998-01-01 Quaglia, Paola
On encoding pPi in mPi
1998-01-01 Quaglia, Paola; D., Walker
The Pi-Calculus: Notes on Labelled Semantics
1999-01-01 Quaglia, Paola
On Synchronous and Asynchronous Mobile Processes
2000-01-01 Quaglia, Paola; D., Walker
Explicit substitutions for pi-congruences
2001-01-01 Quaglia, Paola
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
Modelling the dynamics of biosystems
2004-01-01 Priami, Corrado; Quaglia, Paola
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
Modelling the dynamics of biosystems
2004-01-01 Priami, Corrado; Quaglia, Paola
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment
2004-01-01 Lecca, Paola; Priami, Corrado; Quaglia, Paola; B., Rossi; C., Laudanna; G., Costantin
Operational Patterns in Beta-binders
2005-01-01 Priami, Corrado; Quaglia, Paola
Model Checking Biological Systems Described Using Ambient Calculus
2005-01-01 R., Mardare; Priami, Corrado; Quaglia, Paola; Vagin, Oleksandr
Modeling Kohn Interaction Maps with Beta-Binders: An Example
2005-01-01 F., Ciocchetta; Priami, Corrado; Quaglia, Paola
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