Searching for "R-SHIM deterministic concurrency with recursion and shared variables." – 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.

R-SHIM: Deterministic concurrency with recursion and shared variables
by Olivier Tardieu, Stephen A. Edwards — 2006 — In Proceedings of the 4th International Conference on Formal Methods and Models for Codesign (MEMOCODE
…R-SHIM: Deterministic Concurrency with Recursion and Shared Variables Olivier Tardieu and Stephen…
Cited by 2 (0 self) – Add To MetaCart

: Deterministic Concurrency with Recursion and Shared Variables
by Olivier Tardieu, Stephen A. Edwards
…: Deterministic Concurrency with Recursion and Shared Variables Olivier Tardieu and Stephen A. Edwards…
Add To MetaCart

Showing 1 through 2.

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