Partial Order Methods in Verification

Keyphrases

Publications

1996

Christel Baier, Marta Z. Kwiatkowska
On topological hierarchies of temporal properties. Partial Order Methods in Verification (1996)
Ugo Montanari, Marco Pistore
History dependent verification for partial order systems. Partial Order Methods in Verification (1996)
Antti Valmari
Stubborn set methods for process algebras. Partial Order Methods in Verification (1996)
Wojciech Penczek, Marian Srebrny
A complete axiomatization of a first-order temporal logic over trace systems. Partial Order Methods in Verification (1996)
Wolfgang Reisig
Interleaved progress, concurrent progress, and local progress. Partial Order Methods in Verification (1996)
Albert R. Meyer, Alexander Moshe Rabinovich
A solution of an interleaving decision problem by a partial order technique. Partial Order Methods in Verification (1996)
Michael W. Shields
Algebraic manipulations and vector languages. Partial Order Methods in Verification (1996)
Glynn Winskel, Mogens Nielsen
Presheaves as transition systems. Partial Order Methods in Verification (1996)
Antoni W. Mazurkiewicz
Prefix function view of states and events. Partial Order Methods in Verification (1996)
Wolfgang Thomas
Elements of an automata theory over partial orders. Partial Order Methods in Verification (1996)
Doron A. Peled
Partial order reduction: Linear and branching temporal logics and process algebras. Partial Order Methods in Verification (1996)
Preface. Partial Order Methods in Verification (1996)
Debate '90: An electronic discussion on true concurrency. Partial Order Methods in Verification (1996)
Foreword. Partial Order Methods in Verification (1996)
Patrice Godefroid
On the costs and benefits of using partial-order methods for the verification of concurrent systems. Partial Order Methods in Verification (1996)
Shmuel Katz
Refinement with global equivalence proofs in temporal logic. Partial Order Methods in Verification (1996)
Madhavan Mukund, P. S. Thiagarajan
Linear time temporal logics over Mazurkiewicz traces. Partial Order Methods in Verification (1996)
Gordon D. Plotkin, Vaughan R. Pratt
Teams can see pomsets. Partial Order Methods in Verification (1996)
Thomas T. Hildebrandt, Vladimiro Sassone
Transition systems with independence and multi-arcs. Partial Order Methods in Verification (1996)
David C. Luckham
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Partial Order Methods in Verification (1996)
Eike Best
Partial order verification with PEP. Partial Order Methods in Verification (1996)

volume 29, 1996

Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996 Partial Order Methods in Verification 29 (1996)