Regular Trace Event Structures (1996)

by P. S. Thiagarajan , P. S. Thiagarajan
Citations:6 - 0 self

Active Bibliography

15 Model-Checking for a Subclass of Event Structures – Wojciech Penczek - 1997
14 Fusion trees can be implemented with AC0 instructions only. Theoret – Arne Andersson, Peter Bro Miltersen, Mikkel Thorup, Arne Andersson, Peter Bro Miltersen, Mikkel Thorup - 1999
1 The Implementation of Mazurkiewicz Traces in POEM – Peter Niebert, Hongyang Qu
1 Stronger reduction criteria for Local First Search – Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
5 Deciding Global Partial-Order Properties – Rajeev Alur, Ken McMillan, Doron Peled - 1998
42 An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces – P. S. Thiagarajan, I. Walukiewicz - 1997
34 Partial Commutation and Traces – Volker Diekert, Yves Métivier - 1997
6 Keeping Track of the Latest Gossip in a Distributed System – Madhavan Mukund, Milind Sohoni - 1997
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints – Peter Niebert, Barbara Sprick - 1997
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
unknown title – unknown authors
Partial Order Reductions Preserving Simulations – Rob Gerth, Ruurd Kuiper, Wojciech Penczek, E Zg/losi/l Antoni Mazurkiewicz
1 An Improvement in Partial-Order Model-Checking With Ample Sets – Hans Van Der Schoot, Hasan Ural - 1996
1 Partial-order verification in SPIN can be more efficient – Hans Van Der Schoot - 1997
1 Put your Model Checker on Diet: Verification on Local States – Michaela Huhn, Peter Niebert, Frank Wallner - 1997
11 Relaxed Visibility Enhances Partial Order Reduction – Doron Peled , et al. - 2000
13 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
59 Partial-Order Reduction in Symbolic State Space Exploration – R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, S. K. Rajamani - 1997
7 Using Asynchronous Buchi Automata for Efficient Automatic Verification of Concurrent Systems – Doron Peled, Wojciech Penczek