01421nam a22003614a 4500001001200000003000800012005001700020006001900037007001500056008004100071010001700112020002800129040002100157035002100178050002400199082001400223090001700237245010500254260006300359300003400422490002900456504004100485533015200526650002500678650002600703650005000729655003400779700003800813710002200851830003800873856013100911999001701042ebr10067496CaPaEBR20260707174939.0m        u        cr cn|||||||||030401s2003    ne a    sb    000 0 eng    z  2003045807  z1402012705 (alk. paper)  aCaPaEBRcCaPaEBR  a(OCoLC)64672338414aQA9.54b.L64 2003eb04a511.3221  c90707d7058400aLogic for concurrency and synchronisationh[electronic resource] /cedited by Ruy J.G.B. de Queiroz.  aDordrecht ;aBoston :bKluwer Academic Publishers,cc2003.  axxi, 284 p. :bill. ;c25 cm.1 aTrends in logic ;vv. 18  aIncludes bibliographical references.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aProof theory.994144 0aModality (Logic)9414 0aParallel programming (Computer science)94694 7aElectronic books.2local91901 aQueiroz, Ruy J. G. B. de.91139482 aebrary, Inc.9191 0aTrends in logic ;vv. 18.911394940uhttp://site.ebrary.com/lib/strathmore/Doc?id=10067496zAn electronic book accessible through the World Wide Web; click to view  c90707d70584