Sfoglia per Autore
Semantic subtyping for the pi-calculus
2008 G. Castagna; R. De Nicola; D. Varacca
Ugo Montanari in a Nutshell
2008 R. De Nicola; P. Degano; J. Meseguer
Modelling global computations with Klaim
2008 Rocco De Nicola; Michele Loreti
TAPAs: A Tool for the Analysis of Process Algebras
2008 Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi
Multiple-Labelled Transition Systems for nominal calculi and their logics
2008 Rocco De Nicola; Michele Loreti
Sessions and Pipelines for Structured Service Programming
2008 Michele Boreale; Roberto Bruni; Rocco De Nicola; Michele Loreti
Implementing Session Centered Calculi
2008 LORENZO BETTINI; ROCCO DE NICOLA; MICHELE LORETI
MarCaSPiS: a Markovian Extension of a Calculus for Services
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
On a Uniform Framework for the Definition of Stochastic Process Languages.
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink:
Rate-Based Transition Systems for Stochastic Process Calculi
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
Provably Correct Implementations of Services
2009 R. BRUNI; R. DE NICOLA; M. LORETI; L. MEZZINA
Tree-functors, determinacy and bisimulations
2010 Rocco De Nicola; Daniele Gorla; Anna Labella
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
2010 Marco Bernardo; Rocco De Nicola; Michele Loreti
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011 L.Acciai; M.Boreale; R.De Nicola
CaSPiS: a calculus of sessions, pipelines and services
2015 Boreale, Michele; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
A calculus for attribute-based communication
2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Semantic subtyping for the pi-calculus | 2008 | G. Castagna; R. De Nicola; D. Varacca | |
| Ugo Montanari in a Nutshell | 2008 | R. De Nicola; P. Degano; J. Meseguer | |
| Modelling global computations with Klaim | 2008 | Rocco De Nicola; Michele Loreti | |
| TAPAs: A Tool for the Analysis of Process Algebras | 2008 | Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi | |
| Multiple-Labelled Transition Systems for nominal calculi and their logics | 2008 | Rocco De Nicola; Michele Loreti | |
| Sessions and Pipelines for Structured Service Programming | 2008 | Michele Boreale; Roberto Bruni; Rocco De Nicola; Michele Loreti | |
| Implementing Session Centered Calculi | 2008 | LORENZO BETTINI; ROCCO DE NICOLA; MICHELE LORETI | |
| MarCaSPiS: a Markovian Extension of a Calculus for Services | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink | |
| On a Uniform Framework for the Definition of Stochastic Process Languages. | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink: | |
| Rate-Based Transition Systems for Stochastic Process Calculi | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink | |
| Provably Correct Implementations of Services | 2009 | R. BRUNI; R. DE NICOLA; M. LORETI; L. MEZZINA | |
| Tree-functors, determinacy and bisimulations | 2010 | Rocco De Nicola; Daniele Gorla; Anna Labella | |
| Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes | 2010 | Marco Bernardo; Rocco De Nicola; Michele Loreti | |
| Linear-Time and May-Testing in a Probabilistic Reactive Setting | 2011 | L.Acciai; M.Boreale; R.De Nicola | |
| CaSPiS: a calculus of sessions, pipelines and services | 2015 | Boreale, Michele; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele | |
| A calculus for attribute-based communication | 2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto |
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