|
12
|
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
|
|
15
|
Model-Checking for a Subclass of Event Structures
– Wojciech Penczek
- 1997
|
|
2
|
Stronger reduction criteria for Local First Search
– Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
|
|
1
|
The Implementation of Mazurkiewicz Traces in POEM
– Peter Niebert, Hongyang Qu
|
|
4
|
Deciding Global Partial-Order Properties
– Rajeev Alur, Ken McMillan, Doron Peled
- 1998
|
|
41
|
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
– P. S. Thiagarajan, I. Walukiewicz
- 1997
|
|
32
|
Partial Commutation and Traces
– Volker Diekert, Yves Métivier
- 1997
|
|
4
|
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
|
|
2026
|
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
|
|
10
|
On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
– Patrice Godefroid, Patrice Godefroid
- 1997
|
|
10
|
Relaxed Visibility Enhances Partial Order Reduction
– Doron Peled , et al.
- 2000
|
|
53
|
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
|
