Sfoglia per Rivista ACTA INFORMATICA
Mostrati risultati da 1 a 5 di 5
A Distributed Operational Semantics for CCS Based on Condition/Event Systems
1988-01-01 Degano, P.; DE NICOLA, R; Montanari, U.
Extensional Equivalences for Transition Systems
1987-01-01 DE NICOLA, R
Locality Based Semantics for Process Algebras
1997-01-01 DE NICOLA, R; F., Corradini
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
2015-01-01 Bernardo, M; De Nicola, R; Loreti, M
Types in concurrency - Editorial of the Special Issue
2005-01-01 DE NICOLA, R; Sangiorgi, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Distributed Operational Semantics for CCS Based on Condition/Event Systems | 1-gen-1988 | Degano, P.; DE NICOLA, R; Montanari, U. | |
| Extensional Equivalences for Transition Systems | 1-gen-1987 | DE NICOLA, R | |
| Locality Based Semantics for Process Algebras | 1-gen-1997 | DE NICOLA, R; F., Corradini | |
| Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 1-gen-2015 | Bernardo, M; De Nicola, R; Loreti, M | |
| Types in concurrency - Editorial of the Special Issue | 1-gen-2005 | DE NICOLA, R; Sangiorgi, D. |
Mostrati risultati da 1 a 5 di 5
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