LEADER 05702nam 22007575 450 001 996465737503316 005 20200629135849.0 010 $a3-540-47218-5 024 7 $a10.1007/BFb0031984 035 $a(CKB)1000000000233828 035 $a(SSID)ssj0000326120 035 $a(PQKBManifestationID)11254430 035 $a(PQKBTitleCode)TC0000326120 035 $a(PQKBWorkID)10296199 035 $a(PQKB)11549087 035 $a(DE-He213)978-3-540-47218-6 035 $a(PPN)155170155 035 $a(EXLCZ)991000000000233828 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReal-Time: Theory in Practice$b[electronic resource] $eREX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings /$fedited by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (VIII, 723 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v600 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55564-1 327 $aAn old-fashioned recipe for real time -- Verifying automata specifications of probabilistic real-time systems -- The theory of timed automata -- Logics and models of real time: A survey -- The state operator in real time process algebra -- Timed process algebras with urgent interactions and a unique powerful binary operator -- Time in state based formal description techniques for distributed systems -- Real-time and the Mu-Calculus (preliminary report) -- Implementing reactive programs on circuits a hardware implementation of LUSTRE -- Semantics and completeness of Duration Calculus -- Timed transition systems -- Compositional verification of real-time systems using extended Hoare triples -- Semantics of reactive systems in abstract time -- Problems, promises and performance: some questions for real-time system specification -- Abstraction in real time process algebra -- (Real) time: A philosophical perspective -- Specification and analysis of resource-bound real-time systems -- Forward and backward simulations for timing-based systems -- Prom timed to hybrid systems -- Coping with implementation dependencies in real-time system verification -- Validating real-time systems by executing logic specifications -- An overview and synthesis on timed process algebras -- From ATP to timed graphs and hybrid systems -- Verification of safety critical systems using TTM/RTTL -- Predicative specification of timed processes -- Putting time into proof outlines -- Timed CSP: Theory and practice -- A specification of the cat and mouse problem -- Layering and action refinement for timed systems. 330 $aIn the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v600 606 $aComputers 606 $aComputer communication systems 606 $aSpecial purpose computers 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aSpecial purpose computers. 615 0$aOperating systems (Computers). 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aOperating Systems. 615 24$aComputation by Abstract Devices. 615 24$aLogics and Meanings of Programs. 676 $a005.1/1 702 $aBakker$b J.W.de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHuizing$b C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoever$b W.P.de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aREX Workshop 906 $aBOOK 912 $a996465737503316 996 $aReal-Time: Theory in Practice$92831194 997 $aUNISA