RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.017 secondi).
A Complete Set of Axioms for a Theory of Communicating Sequential Processes
1983-01-01 De Nicola, R
CCS is an (Augmented) Contact Free C/E System.144-165
1986-01-01 Degano, P; De Nicola, R; Montanari, U
CCS without tau's
1987-01-01 De Nicola, R; Hennessy, M
Models and Operators for Nondeterministic Processes
1984-01-01 De Nicola, R
Net Theory and Application - Response. IFIP Congress 1986:
1986-01-01 De Nicola, R
Partial ordering derivations for CCS
1985-01-01 Degano, P; De Nicola, R; Montanari, U
Partial orderings descriptions and observations of nondeterministic concurrent processes.
1988-01-01 Degano, P; De Nicola, R; Montanari, U
Testing Equivalence for Processes
1983-01-01 De Nicola, R; Hennessy, M
Testing Equivalences for Event Structures
1986-01-01 Aceto, L; De Nicola, R; Fantechi, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Complete Set of Axioms for a Theory of Communicating Sequential Processes | 1-gen-1983 | De Nicola, R | |
CCS is an (Augmented) Contact Free C/E System.144-165 | 1-gen-1986 | Degano, P; De Nicola, R; Montanari, U | |
CCS without tau's | 1-gen-1987 | De Nicola, R; Hennessy, M | |
Models and Operators for Nondeterministic Processes | 1-gen-1984 | De Nicola, R | |
Net Theory and Application - Response. IFIP Congress 1986: | 1-gen-1986 | De Nicola, R | |
Partial ordering derivations for CCS | 1-gen-1985 | Degano, P; De Nicola, R; Montanari, U | |
Partial orderings descriptions and observations of nondeterministic concurrent processes. | 1-gen-1988 | Degano, P; De Nicola, R; Montanari, U | |
Testing Equivalence for Processes | 1-gen-1983 | De Nicola, R; Hennessy, M | |
Testing Equivalences for Event Structures | 1-gen-1986 | Aceto, L; De Nicola, R; Fantechi, A |
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.017 secondi).
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
Opzioni
Scopri
Tipologia
- 2 Contributo in Volume 9
- 2 Contributo in Volume::2.1 Contr... 9
Data di pubblicazione
- 1988 1
- 1987 1
- 1986 3
- 1985 1
- 1984 1
- 1983 2
Editore
- Springer 7
- North Holland 1
- Springer Verlag 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 7
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 1
Lingua
- eng 4
Accesso al fulltext
- no fulltext 9