Searching for "A Refinement Calculus for Tuple Spaces." – 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.

A Refinement Calculus for Tuple Spaces
by Laura Semini, Carlo Montangero, Laura Semini, Carlo Montangero — 1999 — Science of Computer Programming
…-50-887111. FAX: +39-50-887226 A Refinement Calculus for Tuple Spaces Laura Semini Carlo Montangero…
Cited by 2 (2 self) – Add To MetaCart

Specifying and Verifying in Tuple Spaces
by Laura Semini, Carlo Montangero — 1995 — In Proc 7th Nordic Workshop on Programming Theory
… calculus for tuple space languages. Chen's approach to refinement can be characterized as semantic: a…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB