{"product_id":"9783540544302","title":"Lecture Notes in Computer Science: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003eBaeten, Jos C.M.; Groote, Jan F.\u003c\/h2\u003e \u003cp\u003eCONCUR'91 is the second international conference on\nconcurrency theory,     organized in association with the NFI\nproject Transfer. It is a sequel to   the CONCUR'90\nconference. Its basic aim is to communicate ongoing work      in\nconcurrency theory. This proceedings volume contains 30\npapers       selected for presentation at the conference (from 71\nsubmitted) together    with four invited papers and abstracts\nof the other invited papers. The     papers are organized into\nsections on process algebras, logics and model    checking,\napplications and specification languages, models and              net\ntheory, design and real-time, tools and probabilities,                  and\nprogramming languages. The proceedings of CONCUR'90 are\navailable asVolume 458 of Lecture Notes in Computer\nScience.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-08-14\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544302\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54430-5\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 549\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369849249932,"sku":"9783540544302","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544302.jpg?v=1773965671","url":"https:\/\/lateknightbooks.com\/products\/9783540544302","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}