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.
- Trends in logic ; v. 18 .
- Trends in logic ; v. 18. .
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Proof theory.
Modality (Logic)
Parallel programming (Computer science)
Electronic books.
QA9.54 / .L64 2003
511.3
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Proof theory.
Modality (Logic)
Parallel programming (Computer science)
Electronic books.
QA9.54 / .L64 2003
511.3