{"product_id":"specification-and-analysis-of-concurrent-systems-the-cosy-approach-von-ryszard-janicki-peter-e-lauer","title":"Specification and Analysis of Concurrent Systems","description":"Concurrent 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642773396\"\u003e\u003ch3\u003eThe COSY Approach\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642773396","offer_id":39431931756637,"sku":"9783642773396","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8bc49cb8-86ae-46a8-9301-82a404e3673a.jpg?v=1772172512","url":"https:\/\/shop.autorenwelt.de\/products\/specification-and-analysis-of-concurrent-systems-the-cosy-approach-von-ryszard-janicki-peter-e-lauer","provider":"Autorenwelt Shop","version":"1.0","type":"link"}