Formal specification of JavaSpaces™ architectures using μCRL

Cached

Download Links

by Architecture Using Crl , Jaco van de Pol , Miguel Valero Espada