Searching for "Verification of Distributed Applications." – 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.

Rigorous Design of Distributed Transactions
by Divakar Singh Yadav, Divakar Singh Yadav — 2008
… for verification of distributed algorithms using the technique of abstraction and refinement. Contents…
Add To MetaCart

Formal specification of JavaSpaces™ architectures using μCRL
by Architecture Using Crl, Jaco van de Pol, Miguel Valero Espada
… is to allow the verification of distributed applications built under the JavaSpaces model. A simple case study…
Add To MetaCart

Showing 1 through 2.

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