Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Atomic refinement in process description languages 1-gen-1991 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.
A categorial view of process refinement 1-gen-1992 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
On relating some models for concurrency 1-gen-1993 Degano, Pierpaolo; Gorrieri, Roberto; Vigna, S.
A causal operational semantics of atomic refinenement 1-gen-1995 Degano, Pierpaolo; Gorrieri, Roberto
Proceedings of ICALP'97 1-gen-1997 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.
Special Issues of the Journal of Theoretical Computer Science 1-gen-1999 Degano, Pierpaolo; Gorrieri, Roberto; Marchetti Spaccamela, A.
Procs 7th Conference on Computational Methods in Systems Biology 1-gen-2009 Degano, Pierpaolo; Gorrieri, Roberto
Mostra risultati da 1 a 9 di 9
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