Items related to Partial Order Methods in Verification (Series in Discrete...

Partial Order Methods in Verification (Series in Discrete Mathematics and Theoretical Computer Science): Dimacs Workshop July 24-26, 1996 - Hardcover

 
9780821805794: Partial Order Methods in Verification (Series in Discrete Mathematics and Theoretical Computer Science): Dimacs Workshop July 24-26, 1996
Hardcover
ISBN 10: 0821805797 ISBN 13: 9780821805794
Publisher: American Mathematical Society, 1997

Synopsis

This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.

"synopsis" may belong to another edition of this title.

Publisher
American Mathematical Society
Publication date
1997
Language
English
ISBN 10 
0821805797
ISBN 13 
9780821805794
Binding
Hardcover
Number of pages
403
Editor
Peled Doron, Pratt Vaughan R., Holzmann Gerard J.