Searching for "Automated Refinement Checking for Asynchronous Processes." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Automated refinement checking for asynchronous processes
by Rajeev Alur, Radu Grosu, Bow-yaw Wang — 2000 — In Proc. 3rd FMCAD, LNCS
… Automated Refinement Checking for Asynchronous Processes Rajeev Alur, Radu Grosu, and Bow…
Cited by 11 (6 self) – Add To MetaCart

Pipelined implementation < ISA spec Point-to-Point Protocol
by Rajeev Alur
…Automated Refinement Checking of Asynchronous Processes Rajeev Alur University of Pennsylvania www…
Add To MetaCart

unknown title
by unknown authors
… techniques for automated refinement checking of asynchronous processes are reported in [9]. Hierarchic Hybrid…
Add To MetaCart

Showing 1 through 3.

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