{"product_id":"linear-time-branching-time-and-partial-order-in-logics-and-models-for-concurrency-school-workshop-noordwijkerhout-the-netherlands-may-30-june-3-9783540510802","title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School\/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3","description":"\u003cp\u003e • Author(s): Jacobus W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003eThis volume is based on the \"School\/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency\" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School\/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591978533015,"sku":"9783540510802","price":11457.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540510802.webp?v=1774975510","url":"https:\/\/atlanticbooks.com\/products\/linear-time-branching-time-and-partial-order-in-logics-and-models-for-concurrency-school-workshop-noordwijkerhout-the-netherlands-may-30-june-3-9783540510802","provider":"Atlantic Books","version":"1.0","type":"link"}