MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Compositional Reachability Analysis Using Process Algebra." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

ATOM

Compositional Reachability Analysis Using Process Algebra
by Wei Jen Yeh, Michal Young — 1991 — IN PROCEEDINGS OF THE SYMPOSIUM ON TESTING, ANALYSIS, AND VERIFICATION (TAV4
…Compositional Reachability Analysis Using Process Algebra Wei Jen Yeh Michal Young Software…
Cited by 58 (3 self) – Add To MetaCart

Apportioning-based Reachability Analysis of Concurrent Java Programs
by Sridhar Iyer, Raghuraman R., Sridhar Iyer Raghuraman, Anirban Majumdar — 1999 — In Proceedings of International Conference on Information Technology, Tata-McGraw
… proposed for tackling state-explosion are, compositional reachability analysis using process algebra [11…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB