{"product_id":"9783540562832","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eKoymans, Ron\u003c\/h2\u003e \u003cp\u003eThis monograph is concerned with the application of temporal\nlogic to the   areas of message passing and time-critical\nsystems. Apart from the practicaluse of temporal logic for\nthese two application domains, the book also      incorporates\npure fundamental studies on temporal logic.\nThe motivation to study message passing and time critical\nsystems stems from their         importance in practice. Message\npassing is one of the most important means  of interprocess\ncommunication in distributed systems, either on a           high\nlevel, as in telecommunications applications, or on a lower\nlevel, as in implementations of languages like Ada. As for\ntime-critical systems,  among the growing number of real-time\napplications there are some highly    critical systems such as\ncomputer controlled chemical plants and nuclear    power\nstations.\nThe monograph shows how standard temporal logic can be  used\nfor the specification of message passing systems, and\ndevelops a   special temporal logic for reasoning about\nquantitative temporal properties.The main application area\nis that of distributed real-time systems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-12-14\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540562832\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56283-4\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 166\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370071711884,"sku":"9783540562832","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540562832.jpg?v=1773969815","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540562832","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}