{"product_id":"concur93-4th-international-conference-on-concurrency-theory-hildesheim-germany-august-23-26-1993-proceedings-von-eike-best-hrsg","title":"CONCUR'93","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540572084\"\u003e\u003ch3\u003e4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540572084","offer_id":39427912400989,"sku":"9783540572084","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/41868a52-ec9b-4b38-927a-39ba6f896f59.jpg?v=1773554279","url":"https:\/\/shop.autorenwelt.de\/products\/concur93-4th-international-conference-on-concurrency-theory-hildesheim-germany-august-23-26-1993-proceedings-von-eike-best-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}