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