Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 118
Titolo Data di pubblicazione Autore(i) File
A Framework for Data-Flow Distributed Processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G; Vanneschi, M; Vaglini, Gigliola
A framework for data-flow distributed processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
Development of a debugger for a concurrent language 1-gen-1983 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Matteoli, E.; Stefanini, S.; Vaglini, Gigliola
Development of a Debugger for a Concurrent Language 1-gen-1983 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Matteoli, E; Stefanini, S; Vaglini, Gigliola
An interactive debugger for a concurrent language 1-gen-1985 DE FRANCESCO, Nicoletta; Latella, D.; Vaglini, Gigliola
Concurrent Programming Tools for the MuTEAM Microprocessor System 1-gen-1986 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Ricci, LAURA EMILIA MARIA; Tomasi, A; Vanneschi, Marco; Vaglini, Gigliola
Development of a Debugger for a Concurrent Language 1-gen-1986 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Description of a Tool for Specifying and Prototyping Concurrent Programs 1-gen-1988 DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Shared Abstract Data Types: an Algebraic Methodology for their Specification 1-gen-1989 Bondavalli, A; DE FRANCESCO, Nicoletta; Latella, D; Vaglini, Gigliola
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 1-gen-1990 DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Specification of Concurrency Control in Persistent Programming Languages 1-gen-1993 DE FRANCESCO, Nicoletta; Mancini, L. V.; Pereira Paz, A.; Vaglini, Gigliola
Concurrent behavior: a construct to specify the external behavior of objects in an object database 1-gen-1994 DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 1-gen-1997 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
State Space Reduction by Non-standard Semantics for Deadlock Analysis 1-gen-1998 DE FRANCESCO, Nicoletta; A., Santone; Vaglini, Gigliola
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Formula Based Abstractions of Transition Systems for Real-time Model Checking 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Mostra risultati da 1 a 20 di 118
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