GORRIERI, ROBERTO Statistiche

GORRIERI, ROBERTO  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A categorial view of process refinement 1-gen-1992 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
A causal operational semantics of atomic refinenement 1-gen-1995 Degano, Pierpaolo; Gorrieri, Roberto
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
On relating some models for concurrency 1-gen-1993 Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S.
Proceedings of ICALP'97 1-gen-1997 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A.
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.