La teoria della concorrenza è una sintesi di uno dei principali filoni della ricerca informatica teorica incentrata su linguaggi e notazioni grafiche per descrivere raccolte di componenti in evoluzione simultanea che interagiscono attraverso la comunicazione sincrona. La notazione di specifica principale su cui si concentra questo libro è LOTOS. Viene fornita un'ampia introduzione a questo particolare calcolo del processo, evidenziando come l'approccio differisce dalle tecniche della concorrenza, come CCS e CSP. Il libro tratta la semantica del tempo lineare, basata su tracce; semantica del tempo di ramificazione, utilizzando sia sistemi di transizione etichettati che rifiuti; e la vera semantica della concorrenza, utilizzando strutture di eventi (bundle). Inoltre, il libro discute gli approcci agli automi comunicanti (sia a stati finiti che infiniti); come la teoria può essere generalizzata all'impostazione temporizzata; e, infine, gli autori generalizzano le notazioni degli automi comunicanti (a stato finito e infinito) per produrre automi temporizzati e automi temporizzati discreti. Questo libro rappresenta un passaggio completo attraverso lo spettro della ricerca sulla teoria della concorrenza: dalla sintassi e semantica senza tempo a quella temporizzata, dai calcoli di processo agli automi. Ricercatori e professionisti nel campo della teoria della concorrenza, così come studenti di master e dottorato, troveranno in questo libro una lettura essenziale per la trattazione completa.
caricamento...
