"Questo volume contiene gli atti della Spring School of Theoretical Computer Science del 1990, dedicata alla semantica della concorrenza. Gli articoli sono di due tipi: - sondaggi ed esercitazioni che introducono l'argomento a principianti e studenti e forniscono aggiornamenti sullo stato dell'arte, - articoli di ricerca che presentano recenti risultati nella semantica della concorrenza. I contributi spiegano le connessioni, le somiglianze e le differenze tra i vari approcci alla semantica della concorrenza, come pomset e semantica metrica, strutture di eventi, alberi di sincronizzazione, punti fissi e linguaggi, tracce, reti CCS e Petri e modelli categoriali Coprono e confrontano anche le varie nozioni di osservazione e equivalenze di bisimulazione, logiche di concorrenza e applicazioni a sistemi distribuiti. "--SITO WEB DELL'EDITORE.
caricamento...
