This book presents surveys on the theory and practice of modelling, 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 programmes, 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 ...
Read More
This book presents surveys on the theory and practice of modelling, 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 programmes, 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, programme 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 modelling concurrency.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 7x1x10; American Mathematical Society; Providence, 1997. Hardcover. A Very Good, binding sturdy and intact, some handling/scuff marks to boards, bit of crimping to spine edges, faint smudge marks top text block edge, rubbing to board corners, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 403pp. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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.
