{"product_id":"9783642773396","title":"Monographs in Theoretical Computer Science. An EATCS Series: The COSY Approach","description":"\u003ch1\u003eMonographs in Theoretical Computer Science. An EATCS Series: The COSY Approach\u003c\/h1\u003e \u003ch2\u003eJanicki, Ryszard; Lauer, Peter E.\u003c\/h2\u003e \u003cp\u003eConcurrent systems abound in human experience but their\nfully adequate      conceptualization as yet eludes our most able\nthinkers. The COSY (ConcurrentSystem) notation and theory\nwas developed in the last decade as one of a    number of\nmathematical approaches for conceptualizing and                   analyzing\nconcurrent and reactive systems.\nThe COSY approach extends theconventional notions of\ngrammar and automaton from formal language and      automata\ntheory to collections of \"synchronized\" grammars and\nautomata, permitting system specification and analysis of\n\"true\" concurrency without  reduction to non-determinism.\nCOSY theory is developed to a great level of  detail and\nconstitutes the first uniform and self-contained\npresentationof all results about COSY published in the\npast, as well as including many  new results.\nCOSY theory is used to analyze a sufficient number             of\ntypical problems involving concurrency, synchronization                  and\nscheduling, to allow the reader to apply the techniques\npresented tosimilar problems.\nThe COSY model is also related to many alternative models of\nconcurrency, particularly Petri Nets, Communicating\nSequential       Processes and the Calculus of Communicating\nSystems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2011-12-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783642773396\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-642-77337-2\u003c\/p\u003e \u003cp\u003eDimensions: 242cm x170cm\u003c\/p\u003e \u003cp\u003ePages: 480\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":44398634238092,"sku":"9783642773396","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783642773396.jpg?v=1772828158","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783642773396","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}