Raccogliendo informazioni precedentemente sparse in tutta la vasta letteratura, inclusa la ricerca dell'autore Relazioni stocastiche: Fondamenti per i sistemi di transizione di Markov, sviluppa la teoria delle relazioni stocastiche come base per i sistemi di transizione di Markov. Dopo un'introduzione agli strumenti matematici di base della teoria della misura topologica e delle categorie, il libro esamina i temi centrali delle congruenze e dei morfismi, li applica alla struttura monoidale e definisce la bisimilarità e l'equivalenza comportamentale all'interno di questo quadro. L'autore vede gli sviluppi della teoria generale delle coalgebre nel contesto del funtore di sottoprobabilità. Questi strumenti mostrano che la bisimilarità e l'equivalenza comportamentale e logica sono le stesse per le logiche modali generali e per la logica stocastica a tempo continuo con e senza un operatore di punto fisso. Con numerosi problemi e diversi casi di studio, questo libro è uno studio inestimabile di un aspetto importante della teoria dell'informatica. . Lingua: Inglese