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.
Proof theory.
Modality (Logic)
Parallel programming (Computer science)
Electronic books.
QA9.54 / .L64 2003eb
511.3
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2009.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Proof theory.
Modality (Logic)
Parallel programming (Computer science)
Electronic books.
QA9.54 / .L64 2003eb
511.3