Sfoglia per Rivista ACTA INFORMATICA
Mostrati risultati da 1 a 4 di 4
Abstract Reduction in Directed Model Checking CCS Processes
2012-01-01 Santone, Antonella; Vaglini, G.
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica
1997-01-01 R., Barbuti; N., DE FRANCESCO; Santone, Antonella
Automatic Verification of Concurrent Systems using a Formula-Based Compositional Approach
2002-01-01 Santone, Antonella
A Transformation System for Concurrent Processes
1998-01-01 N., DE FRANCESCO; Santone, Antonella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract Reduction in Directed Model Checking CCS Processes | 1-gen-2012 | Santone, Antonella; Vaglini, G. | |
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica | 1-gen-1997 | R., Barbuti; N., DE FRANCESCO; Santone, Antonella | |
Automatic Verification of Concurrent Systems using a Formula-Based Compositional Approach | 1-gen-2002 | Santone, Antonella | |
A Transformation System for Concurrent Processes | 1-gen-1998 | N., DE FRANCESCO; Santone, Antonella |
Mostrati risultati da 1 a 4 di 4
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