Searching for "Modular refinement of hierarchic reactive machines." – 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.

Modular Refinement of Hierarchic Reactive Machines
by Rajeev Alur , Radu Grosu — 2000 — IN PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
…Modular Refinement of Hierarchic Reactive Machines Rajeev Alur Radu Grosu Department of Computer…
Cited by 20 (7 self) – Add To MetaCart

And/or hierarchies and round abstraction
by Radu Grosu — 2000 — In Proc. of MFCS’00, the 25th International Symposium on Mathematical Foundations of Computer Science, volume 1893 of LNCS
…. Alur and R. Grosu. Modular refinement of hierarchic reactive machines. In Proceedings of the 27th…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

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