LEADER 03337nam  22004935  450 
001 996465669803316
005 20200706084536.0
010   $a3-540-45965-0
024 7 $a10.1007/3-540-50302-1
035   $a(CKB)1000000000233318
035   $a(SSID)ssj0000323246
035   $a(PQKBManifestationID)11224773
035   $a(PQKBTitleCode)TC0000323246
035   $a(PQKBWorkID)10299385
035   $a(PQKB)11194040
035   $a(DE-He213)978-3-540-45965-1
035   $a(PPN)155231723
035   $a(EXLCZ)991000000000233318
100   $a20121227d1988      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $eProceedings of a Symposium, Warwick, UK, September 22-23, 1988 /$fedited by Mathai Joseph
205   $a1st ed. 1988.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1988.
215   $a1 online resource (VIII, 232 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v331
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-50302-1 
327   $aHigh integrity computing -- Using higher-order logic for modular specification of real-time distributed systems -- Timed specifications for the development of real-time systems -- Applications of temporal logic to the specification of real time systems -- From a synchronous declarative language to a temporal logic dealing with multiform time -- A specification language for reliable real-time systems -- Timed acceptances: A model of time dependent processes -- Responsive sequential processes -- Static analysis of real-time distributed systems -- Low level synchronisation problems in digital systems -- Reasoning about uncertainty in fault-tolerant distributed systems -- Paradigms for real-time systems -- Towards a theory of replicated processing -- Reasoning about atomic objects -- A formal treatment of interference in remote procedure calls -- List of authors and addresses.
330   $aThis is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v331
606   $aSpecial purpose computers
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aSpecial purpose computers.
615 14$aSpecial Purpose and Application-Based Systems.
676   $a004.6
702   $aJoseph$b Mathai$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465669803316
996   $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996
997   $aUNISA