{"product_id":"9783540572084","title":"Lecture Notes in Computer Science: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eBest, Eike\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of CONCUR '93, the\nfourth in an annual series of conferences devoted to the\nstudy of concurrency. The basic aim of the CONCUR\nconferences is to communicate advances in concurrency            theory\nand applications.\nThe volume contains 31 papers selected from 113submissions,\ntogether with four invited papers and two abstracts            of\ninvited talks. The invited talks are: \"The lambda-calculus\nwith      multiplicities\" (extended abstract) by G rard Boudol,\n\"A pi-calculus        semantics for an object-based design\nnotation\" by Cliff B. Jones,           \"Partial-order methods for\ntemporal verification\" by Pierre Wolper and      Patrice\nGodefroid, \"Non-interleaving process algebra\" by Jos C.M.\nBaetenand Jan A. Bergstra, \"Loop parallelization in the\npolytope model\" by        Christian Lengauer, and \"Structured\noperational semantics for process       algebras and equational\naxiom systems\" (abstract) by Bard Bloom.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-08-13\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540572084\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-57208-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 550\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370078036108,"sku":"9783540572084","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540572084.jpg?v=1773970006","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540572084","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}