Sfoglia per Rivista THEORETICAL COMPUTER SCIENCE
A Partial Ordering Semantics for CCS
1990-01-01 P., Degano; DE NICOLA, R; U., Montanari
A Process Algebraic View of Input/Output Automata
1995-01-01 DE NICOLA, R; R., Segala
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
2001-01-01 XIAO JUN, Chen; DE NICOLA, R
Comparing chemical reaction networks: A categorical and algorithmic perspective
2019-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Conversation types
2010-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Divergence in testing and readiness semantics
2001-01-01 R., Pugliese; M., Boreale; DE NICOLA, R
Exact fluid lumpability in Markovian process algebra
2014-01-01 Tschaikowski, M; Tribastone, M
A large-scale assessment of exact lumping of quantitative models in the BioModels repository
2021-01-01 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
Linda based Applicative and Imperative Process Algebras
2000-01-01 DE NICOLA, R; R., Pugliese
Measuring security in IoT communications
2019-01-01 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Model checking mobile stochastic logic
2007-01-01 DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M.
Nondeterministic regular expressions as solutions of equational systems
2003-01-01 DE NICOLA, R; A., Labella
On the Expressive Power of Klaim-based Calculi
2006-01-01 DE NICOLA, R; D., Gorla; R., Pugliese
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Reversibility in the higher-order {\(\pi\)}-calculus
2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani
Semantic subtyping for the pi-calculus
2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca
Symbolic computation of differential equivalences
2019-01-01 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Testing Equivalences for Processes
1984-01-01 DE NICOLA, R; M., Hennessy
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Partial Ordering Semantics for CCS | 1-gen-1990 | P., Degano; DE NICOLA, R; U., Montanari | |
A Process Algebraic View of Input/Output Automata | 1-gen-1995 | DE NICOLA, R; R., Segala | |
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures | 1-gen-2001 | XIAO JUN, Chen; DE NICOLA, R | |
Comparing chemical reaction networks: A categorical and algorithmic perspective | 1-gen-2019 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
Conversation types | 1-gen-2010 | Luís, Caires; MENDES TORRES VIEIRA, H | |
Divergence in testing and readiness semantics | 1-gen-2001 | R., Pugliese; M., Boreale; DE NICOLA, R | |
Exact fluid lumpability in Markovian process algebra | 1-gen-2014 | Tschaikowski, M; Tribastone, M | |
A large-scale assessment of exact lumping of quantitative models in the BioModels repository | 1-gen-2021 | Perez-Verona, I. C.; Tribastone, M.; Vandin, A. | |
Linda based Applicative and Imperative Process Algebras | 1-gen-2000 | DE NICOLA, R; R., Pugliese | |
Measuring security in IoT communications | 1-gen-2019 | Bodei, Chiara; Chessa, Stefano; Galletta, Letterio | |
Model checking mobile stochastic logic | 1-gen-2007 | DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M. | |
Nondeterministic regular expressions as solutions of equational systems | 1-gen-2003 | DE NICOLA, R; A., Labella | |
On the Expressive Power of Klaim-based Calculi | 1-gen-2006 | DE NICOLA, R; D., Gorla; R., Pugliese | |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
Reversibility in the higher-order {\(\pi\)}-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani | |
Semantic subtyping for the pi-calculus | 1-gen-2008 | G., Castagna; DE NICOLA, R; D., Varacca | |
Symbolic computation of differential equivalences | 1-gen-2019 | Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
Tackling continuous state-space explosion in a Markovian process algebra | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
Testing Equivalences for Processes | 1-gen-1984 | DE NICOLA, R; M., Hennessy | |
Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. |
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