LEADER 04041nam  22007095  450 
001 996466087203316
005 20200716023021.0
010   $a3-540-47506-0
024 7 $a10.1007/3-540-56283-4
035   $a(CKB)1000000000233917
035   $a(SSID)ssj0000326799
035   $a(PQKBManifestationID)11263382
035   $a(PQKBTitleCode)TC0000326799
035   $a(PQKBWorkID)10297355
035   $a(PQKB)10406326
035   $a(DE-He213)978-3-540-47506-4
035   $a(PPN)155175777
035   $a(EXLCZ)991000000000233917
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSpecifying Message Passing and Time-Critical Systems with Temporal Logic$b[electronic resource] /$fby Ron Koymans
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (VIII, 166 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v651
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-56283-4 
327   $aHow to specify -- A review of modal and temporal logic -- Polymodal logics with inequality -- Message passing systems -- Time-critical systems -- Summary and concluding remarks.
330   $aThis monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v651
606   $aComputers
606   $aArchitecture, Computer
606   $aApplied mathematics
606   $aEngineering mathematics
606   $aComputer logic
606   $aMathematical logic
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputers.
615  0$aArchitecture, Computer.
615  0$aApplied mathematics.
615  0$aEngineering mathematics.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aTheory of Computation.
615 24$aComputer System Implementation.
615 24$aApplications of Mathematics.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a004.0151
700   $aKoymans$b Ron$4aut$4http://id.loc.gov/vocabulary/relators/aut$0754262
906   $aBOOK
912   $a996466087203316
996   $aSpecifying message passing and time-critical systems with temporal logic$91517637
997   $aUNISA