Sfoglia per Rivista INFORMATION AND COMPUTATION
Mostrati risultati da 1 a 7 di 7
A Symbolic Semantics for the pi-Calculus
1996-01-01 DE NICOLA, R; M., Boreale
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
2013-01-01 Bernardo, M; De Nicola, R; Loreti, M
Basic Observables for a Calculus for Global Computing
2007-01-01 DE NICOLA, R; D., Gorla; R., Pugliese
Basic Observables for Processes
1999-01-01 R., Pugliese; M., Boreale; DE NICOLA, R
A calculus for collective-adaptive systems and its behavioural theory
2019-01-01 Abd Alrahman, Y.; De Nicola, R.; Loreti, M.
Testing Equivalence for Mobile Processes
1995-01-01 DE NICOLA, R; M., Boreale
Trace and Testing Equivalence on Asynchronous Processes
2002-01-01 M, Boreale; DE NICOLA, R.; Pugliese, R.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Symbolic Semantics for the pi-Calculus | 1-gen-1996 | DE NICOLA, R; M., Boreale | |
| A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 1-gen-2013 | Bernardo, M; De Nicola, R; Loreti, M | |
| Basic Observables for a Calculus for Global Computing | 1-gen-2007 | DE NICOLA, R; D., Gorla; R., Pugliese | |
| Basic Observables for Processes | 1-gen-1999 | R., Pugliese; M., Boreale; DE NICOLA, R | |
| A calculus for collective-adaptive systems and its behavioural theory | 1-gen-2019 | Abd Alrahman, Y.; De Nicola, R.; Loreti, M. | |
| Testing Equivalence for Mobile Processes | 1-gen-1995 | DE NICOLA, R; M., Boreale | |
| Trace and Testing Equivalence on Asynchronous Processes | 1-gen-2002 | M, Boreale; DE NICOLA, R.; Pugliese, R. |
Mostrati risultati da 1 a 7 di 7
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