Searching for "On the Structure of Demonic Refinement Algebras with Enabledness and Termination." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

On the Structure of Demonic Refinement Algebras ∗
by Université Laval, Jean-lou De Carufel, Jules Desharnais, Pavillon Adrien-pouliot, Université Laval, Jean-lou De Carufel, Jules Desharnais — 2008
…⊤ (14) A demonic refinement algebra with enabledness and termination (DRAet) is a structure (D…
Add To MetaCart

Showing 1 through 1.

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