Searching for "On Bisimulation Proofs for the Analysis of Distributed Abstract Machines." – 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 bisimulation proofs for the analysis of distributed abstract machines
by Damien Pous
…On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous ENS Lyon…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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