GORRIERI, ROBERTO Statistiche
GORRIERI, ROBERTO
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.021 secondi).
Procs 7th Conference on Computational Methods in Systems Biology
2009-01-01 Degano, Pierpaolo; Gorrieri, Roberto
Special Issues of the Journal of Theoretical Computer Science
1999-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Marchetti Spaccamela, A.
Symposium on the Theory of Computation
1999-01-01 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A; Wegner, P.
Proceedings of ICALP'97
1997-01-01 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A.
A causal operational semantics of atomic refinenement
1995-01-01 Degano, Pierpaolo; Gorrieri, Roberto
On relating some models for concurrency
1993-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S.
A categorial view of process refinement
1992-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
A kernel of a graphic environment for truly concurrent process description languages
1991-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Zamboni, L; Zanotti, P.
Atomic refinement in process description languages
1991-01-01 Degano, Pierpaolo; Gorrieri, Roberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Procs 7th Conference on Computational Methods in Systems Biology | 1-gen-2009 | Degano, Pierpaolo; Gorrieri, Roberto | |
| Special Issues of the Journal of Theoretical Computer Science | 1-gen-1999 | Degano, Pierpaolo; Gorrieri, Roberto; Marchetti Spaccamela, A. | |
| Symposium on the Theory of Computation | 1-gen-1999 | Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A; Wegner, P. | |
| Proceedings of ICALP'97 | 1-gen-1997 | Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A. | |
| A causal operational semantics of atomic refinenement | 1-gen-1995 | Degano, Pierpaolo; Gorrieri, Roberto | |
| On relating some models for concurrency | 1-gen-1993 | Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S. | |
| A categorial view of process refinement | 1-gen-1992 | Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G. | |
| A kernel of a graphic environment for truly concurrent process description languages | 1-gen-1991 | Degano, Pierpaolo; Gorrieri, Roberto; Zamboni, L; Zanotti, P. | |
| Atomic refinement in process description languages | 1-gen-1991 | Degano, Pierpaolo; Gorrieri, Roberto |