Partial order methods in verification
Éditeur :
American Mathematical Society
ISBN :
9780821805794
Date de publication :
30 avr. 1997
Poids :
964 g
Langue :
Anglais
Pays d'origine :
USA
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.