CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 41 a 60 di 270
Titolo Data di pubblicazione Autore(i) File
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 1-gen-1988 Degano, Pierpaolo; Denicola, R; Montanari, UGO GIOVANNI ERASMO
On the consistency of "truly concurrent" operational and denotational semantics 1-gen-1988 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Partial orderings descriptions and observations of nondeterministic concurrent processes 1-gen-1988 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
On the operational semantics of distributed concurrent systems 1-gen-1988 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
A distributed operational semantics for CCS based on C/E systems 1-gen-1988 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Efficient incremental LR parsing for syntax-directed editors 1-gen-1988 Degano, Pierpaolo; Mannucci, S; Mojana, B.
Causal trees 1-gen-1989 Darondeau, Ph; Degano, Pierpaolo
Axiomatizing net computations and processes 1-gen-1989 Degano, Pierpaolo; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
A normal form to restricted exponential functions 1-gen-1989 Degano, Pierpaolo; Gianni, Patrizia
About semantic action refinement 1-gen-1990 Darondeau, Ph; Degano, Pierpaolo
A partial ordering semantics for CCS 1-gen-1990 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Generating the analythic component parts of syntax-directed editors 1-gen-1990 Bianchi, U; Degano, Pierpaolo; Mannucci, S; Martini, S; Mojana, B; Priami, C; Salvatori, E.
Causal trees: Interleaving + causality 1-gen-1990 Darondeau, Ph; Degano, Pierpaolo
Universal axioms for bisimulations 1-gen-1990 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Event structures, causal trees, and refinements 1-gen-1990 Darondeau, Ph; Degano, Pierpaolo
Atomic refinement in process description languages 1-gen-1991 Degano, Pierpaolo; Gorrieri, Roberto
Applications of the calculus of trees to process description languages 1-gen-1991 Degano, Pierpaolo; Kasangian, S; Vigna, S.
A kernel of a graphic environment for truly concurrent process description languages 1-gen-1991 Degano, Pierpaolo; Gorrieri, Roberto; Zamboni, L; Zanotti, P.
Proved trees 1-gen-1992 Degano, Pierpaolo; Priami, Corrado
A categorial view of process refinement 1-gen-1992 Degano, Pierpaolo; Gorrieri, Roberto; Rosolini, G.
Mostra risultati da 41 a 60 di 270
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