76 search results - page 5 / 16 » Cartesian Partial-Order Reduction |
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
SPIN
2005
Springer
14 years 25 days ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
IFM
2009
Springer
14 years 1 months ago
2009
Springer
CAV
1997
Springer
13 years 11 months ago
1997
Springer
ACTA
2010
13 years 7 months ago
2010
