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

by Vaughan R. Pratt (Editor), Doron A. Peled (Editor), Gerard J. Holzmann (Editor)

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.

403 pages, Hardcover

First published January 1, 1997