{"product_id":"9783540558224","title":"Lecture Notes in Computer Science: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eCleaveland, Walter R.\u003c\/h2\u003e \u003cp\u003eThis book contains a selection of research papers describing\nrecent advancesin the theory of concurrent systems and\ntheir applications. The papers were all presented at the\nCONCUR '92 conference, which has emerged as the        premiere\nconference on formal aspects of concurrency. The                   authors\ninclude such prominent researchers as R. Milner, A. Pnueli,\nN.  Lynch, and V.R. Pratt. The results represent advances in\nthe mathematical   understanding of the behavior of concurrent\nsystems: topics covered include process algebras, models of\ntrue concurrency, compositional verification    techniques,\ntemporal logic, verification case studies, models               of\nprobabilistic and real-time systems, models of systems with\ndynamic  structure, and algorithms and decidability results\nfor system               analysis.\nA key feature of CONCUR is its breadth: in one volume             it\npresents a snapshot of the state of the art in concurrency\ntheory. Assuch, it is indispensible to researchers - and\nwould-be researchers - in theformal analysis of concurrent\nsystems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-08-12\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540558224\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0084777\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 586\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065944716,"sku":"9783540558224","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540558224.jpg?v=1773969669","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540558224","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}