MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Partial Order Reductions for Timed Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Partial order reductions for timed systems
by Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi — 1998 — In International Conference on Concurrency Theory
…Partial Order Reductions for Timed Systems Johan Bengtsson 1 Bengt Jonsson 1 Johan Lilius 2 Wang…
Cited by 37 (4 self) – Add To MetaCart

Partial order reduction for verification of timed systems
by Marius Minea, Randal E. Bryant, Jeannette M. Wing — 1999
…Partial Order Reduction for Verification of Timed Systems Marius Minea December 1999 CMU-CS-00…
Cited by 7 (0 self) – Add To MetaCart

A State Graph Manipulator Tool for Real-Time System Specification and Verification
by Pao-Ann Hsiung, Farn Wang — 1998 — In Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications (RTCSA
…-space exploration [2], partial order reductions for timed systems: the problem of clock synchronizations causing…
Cited by 9 (5 self) – Add To MetaCart

State Graph Manipulators (SGM)
by Pao-Ann Hsiung and Farn Wang, Farn Wang — 1999
… techniques and symbolic state-space exploration [2], ffl partial order reductions for timed systems…
Add To MetaCart

Temporal Logics for Distributed Systems - Paradigms And Algorithms
by Edmund M. Clarke, Ursula Goltz, Peter Niebert, Wojciech Penczek (Eds.), Wojciech Penczek
… attempts to apply partial order reductions to timed systems, but with very dierent approaches, advantages…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB