01303nam a22003374a 4500001001200000003000800012006001900020007001500039008004100054010001700095020002800112040002100140035002000161050002400181082001400205245010500219260006300324300002400387490002900411504004100440533015200481650001800633650002100651650004400672655002900716700003000745710001700775830003000792856012600822999001700948ebr10067496CaPaEBRm        u        cr cn|||||||||030401s2003    ne a    sb    000 0 eng    z  2003045807  z1402012705 (alk. paper)  aCaPaEBRcCaPaEBR  a(OCoLC)5398437614aQA9.54b.L64 2003eb04a511.322100aLogic for concurrency and synchronisationh[electronic resource] /cedited by Ruy J.G.B. de Queiroz.  aDordrecht ;aBoston :bKluwer Academic Publishers,cc2003.  axxi, 284 p. :bill.1 aTrends in logic ;vv. 18  aIncludes bibliographical references.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2013.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aProof theory. 0aModality (Logic) 0aParallel programming (Computer science) 7aElectronic books.2local1 aQueiroz, Ruy J. G. B. de.2 aebrary, Inc. 0aTrends in logic ;vv. 18.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10067496zAn electronic book accessible through the World Wide Web; click to view  c49186d49186