Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29

Peled, Doron A., et al., eds.

ISBN 10: 0821805797 / ISBN 13: 9780821805794

Published by American Mathematical Society, 1997

About this Item

403 pp., hardcover, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1283719

Bibliographic Details

Title: Partial Order Methods in Verification. ...

Publisher: American Mathematical Society

Publication Date: 1997

Binding: Hardcover

Condition: Fine

About this title

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.