Logic for concurrency and synchronisation [electronic resource] /
edited by Ruy J.G.B. de Queiroz.
- Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
- xxi, 284 p. : ill. ; 25 cm.
- Trends in logic ; v. 18 .
- Trends in logic ; v. 18. .
Includes bibliographical references.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.