Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2000 | |
| Contributo in Atti di convegno | |
| A Decidable Dense Branching-time Temporal Logic. In: Proc. of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000). Lecture Notes in Computer Science Berlin Springer Vol.1974, Pag.139-150 ISBN:3540414134 | |
| 20th Conf.on theFoundations of SoftwareTechnology andTheoreticalComputer Science New Delhi (India) December 13-15, 2000 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000170924100011 Codice identificativo SCOPUS: 2-s2.0-84908371689 | |
| Visualizza sul Database dei Prodotti (IRIS) |
42677Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
| 2000 | |
| Contributo in Atti di convegno | |
| Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information. In: Proc. of the 5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000) Pag.1-10 | |
| 5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000) Ischia, Italy 18-20 Settembre, 2000 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
