TY  - BOOK
AU  - Queiroz,Ruy J.G.B.de
ED  - ebrary, Inc.
TI  - Logic for concurrency and synchronisation
T2  - Trends in logic
AV  - QA9.54 .L64 2003eb
U1  - 511.3 21
PY  - 2003///
CY  - Dordrecht, Boston
PB  - Kluwer Academic Publishers
KW  - Proof theory
KW  - Modality (Logic)
KW  - Parallel programming (Computer science)
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10067496
ER  -