Verwandte Artikel zu Partial Order Methods in Verification: Dimacs Workshop...

Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) - Hardcover

 
9780821805794: Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Hardcover
ISBN 10: 0821805797 ISBN 13: 9780821805794
Verlag: American Mathematical Society, 1997

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0821805797
ISBN 13 
9780821805794
Einband
Gebundene Ausgabe
Anzahl der Seiten
403
Herausgeber
Peled Doron A., Pratt Vaughan R., Holzmann Gerard J.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar