default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDIMACS Workshop: Partial Order Methods in Verification 1996
- Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann:
Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, DIMACS/AMS 1996, ISBN 978-0-8218-0579-4 - Foreword. Partial Order Methods in Verification 1996: ix-
- Preface. Partial Order Methods in Verification 1996: xi-
- Antoni W. Mazurkiewicz:
Prefix function view of states and events. 1-23 - Wolfgang Thomas:
Elements of an automata theory over partial orders. 25-40 - Michael W. Shields:
Algebraic manipulations and vector languages. 41-57 - Shmuel Katz:
Refinement with global equivalence proofs in temporal logic. 59-78 - Wojciech Penczek, Marian Srebrny:
A complete axiomatization of a first-order temporal logic over trace systems. 79-97 - Wolfgang Reisig:
Interleaved progress, concurrent progress, and local progress. 99-115 - Gordon D. Plotkin, Vaughan R. Pratt:
Teams can see pomsets. 117-128 - Glynn Winskel, Mogens Nielsen:
Presheaves as transition systems. 129-140 - Christel Baier, Marta Z. Kwiatkowska:
On topological hierarchies of temporal properties. 141-170 - Madhavan Mukund, P. S. Thiagarajan:
Linear time temporal logics over Mazurkiewicz traces. 171-201 - Albert R. Meyer, Alexander Moshe Rabinovich:
A solution of an interleaving decision problem by a partial order technique. 203-211 - Antti Valmari:
Stubborn set methods for process algebras. 213-231 - Doron A. Peled:
Partial order reduction: Linear and branching temporal logics and process algebras. 233-257 - Ugo Montanari, Marco Pistore:
History dependent verification for partial order systems. 259-272 - Thomas T. Hildebrandt, Vladimiro Sassone:
Transition systems with independence and multi-arcs. 273-288 - Patrice Godefroid:
On the costs and benefits of using partial-order methods for the verification of concurrent systems. 289-303 - Eike Best:
Partial order verification with PEP. 305-328 - David C. Luckham:
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. 329-357 - Debate '90: An electronic discussion on true concurrency. 359-403
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
