Sfoglia per Autore
Model checking mobile stochastic logic
2007-01-01 DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M.
Basic Observables for Probabilistic May Testing
2007-01-01 M. C., Palmeri; DE NICOLA, R; M., Massink:
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421
2007-01-01 DE NICOLA, R
SENSORIA Process Calculi for Service-Oriented Computing
2007-01-01 Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G
Implementing a Distributed Mobile Calculus Using the IMC Framework
2007-01-01 L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti
Ugo Montanari in a Nutshell
2008-01-01 DE NICOLA, R; P., Degano; J., Meseguer
Semantic subtyping for the pi-calculus
2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca
Implementing Session Centered Calculi
2008-01-01 Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti
TAPAs: A Tool for the Analysis of Process Algebras
2008-01-01 Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F
From Flow Logic to Static Type Systems for Coordination Languages
2008-01-01 DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese
Multiple-Labelled Transition Systems for nominal calculi and their logics
2008-01-01 DE NICOLA, R; Loreti, M
Sessions and Pipelines for Structured Service Programming
2008-01-01 M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
2008-01-01 P., Degano; DE NICOLA, R; J., Meseguer
Modelling global computations with Klaim
2008-01-01 De Nicola, R; Loreti, M
On a Uniform Framework for the Definition of Stochastic Process Languages
2009-01-01 DE NICOLA, R; D., Latella; M., Loreti; M., Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services
2009-01-01 DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink
Rate-Based Transition Systems for Stochastic Process Calculi
2009-01-01 DE NICOLA, R; D., Latella; M., Loreti; M., Massink
Provably Correct Implementations of Services
2009-01-01 R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina
Tree-functors, determinacy and bisimulations
2010-01-01 DE NICOLA, R; Daniele, Gorla; Anna, Labella
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
2010-01-01 Marco, Bernardo; DE NICOLA, R; Michele, Loreti
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Model checking mobile stochastic logic | 1-gen-2007 | DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M. | |
| Basic Observables for Probabilistic May Testing | 1-gen-2007 | M. C., Palmeri; DE NICOLA, R; M., Massink: | |
| Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 | 1-gen-2007 | DE NICOLA, R | |
| SENSORIA Process Calculi for Service-Oriented Computing | 1-gen-2007 | Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G | |
| Implementing a Distributed Mobile Calculus Using the IMC Framework | 1-gen-2007 | L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti | |
| Ugo Montanari in a Nutshell | 1-gen-2008 | DE NICOLA, R; P., Degano; J., Meseguer | |
| Semantic subtyping for the pi-calculus | 1-gen-2008 | G., Castagna; DE NICOLA, R; D., Varacca | |
| Implementing Session Centered Calculi | 1-gen-2008 | Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti | |
| TAPAs: A Tool for the Analysis of Process Algebras | 1-gen-2008 | Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F | |
| From Flow Logic to Static Type Systems for Coordination Languages | 1-gen-2008 | DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese | |
| Multiple-Labelled Transition Systems for nominal calculi and their logics | 1-gen-2008 | DE NICOLA, R; Loreti, M | |
| Sessions and Pipelines for Structured Service Programming | 1-gen-2008 | M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele | |
| Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | 1-gen-2008 | P., Degano; DE NICOLA, R; J., Meseguer | |
| Modelling global computations with Klaim | 1-gen-2008 | De Nicola, R; Loreti, M | |
| On a Uniform Framework for the Definition of Stochastic Process Languages | 1-gen-2009 | DE NICOLA, R; D., Latella; M., Loreti; M., Massink: | |
| MarCaSPiS: a Markovian Extension of a Calculus for Services | 1-gen-2009 | DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink | |
| Rate-Based Transition Systems for Stochastic Process Calculi | 1-gen-2009 | DE NICOLA, R; D., Latella; M., Loreti; M., Massink | |
| Provably Correct Implementations of Services | 1-gen-2009 | R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina | |
| Tree-functors, determinacy and bisimulations | 1-gen-2010 | DE NICOLA, R; Daniele, Gorla; Anna, Labella | |
| Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes | 1-gen-2010 | Marco, Bernardo; DE NICOLA, R; Michele, Loreti |
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