CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 81
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 multimicroprocessor system 1-gen-1986 Baiardi, Fabrizio; DE FRANCESCO, Nicoletta; Tomasi, A; Vanneschi, M.
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
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 1-gen-1991 DE FRANCESCO, Nicoletta; Inverardi, P.
Towards innovative software engineering environments 1-gen-1991 Ambriola, Vincenzo; Ciancarini, P; Corradini, Andrea; DE FRANCESCO, Nicoletta
Specification of Concurrency Control in Persistent Programming Languages 1-gen-1993 DE FRANCESCO, Nicoletta; Mancini, L. V.; Pereira Paz, A.; Vaglini, Gigliola
AXIOMATIZING CCS, NETS AND PROCESSES 1-gen-1993 DE FRANCESCO, Nicoletta; Montanari, UGO GIOVANNI ERASMO; Yankelevich, D.
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 1-gen-1994 DE FRANCESCO, Nicoletta; Montanari, UGO GIOVANNI ERASMO; Ristori, G.
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 1-gen-1994 DE FRANCESCO, Nicoletta; Montanari, UGO GIOVANNI ERASMO; Ristori, G.
Proving Finiteness of CCS Processes by Non-Standard Semantics 1-gen-1994 DE FRANCESCO, Nicoletta; Inverardi, P.
Concurrent behavior: a construct to specify the external behavior of objects in an object database 1-gen-1994 DE FRANCESCO, Nicoletta; Vaglini, Gigliola
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 1-gen-1995 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, A.
Mostra risultati da 1 a 20 di 81
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