Logics for concurrency: structure versus automata
Auteur :
Moller, Faron
ISBN :
9783540609155
Date de publication :
6 mars 1996
Dimensions :
23,3 x 15,5 x 1,5 cm
Poids :
402 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
In this work on the problem of verifying distributed systems, three chapters concentrate on linear-time or branching-time temporal logics, one addresses process equivalence with an emphasis on infinite-state systems, and the remaining chapter presents a category-theoretic approach to verification.