Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996

. Ed(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J.

ISBN 10: 0821805797 / ISBN 13: 9780821805794

Published by American Mathematical Society, 1997

About this Item

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. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780821805794

Bibliographic Details

• Title: Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
• Publisher: American Mathematical Society
• Publication Date: 1997
• Language: English
• ISBN 10: 0821805797
• ISBN 13: 9780821805794
• Binding: Hardcover
• Condition: New

About this title

Synopsis

The proceedings from the July 1996 workshop surveying the theory and practice of modeling, specifying, and validating concurrent systems. The 18 presentations, developed by researchers from related but diverse fields, focus on practical and theoretical topics in using partial order models, automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The volume also features an e-mail debate regarding the importance of the partial order dichotomy in modeling concurrency. Includes illustrations. Lacks an index. Annotation c. by Book News, Inc., Portland, Or.