LEADER 04757nam 22006855 450 001 996466328803316 005 20200704000711.0 010 $a3-030-21759-0 024 7 $a10.1007/978-3-030-21759-4 035 $a(CKB)4100000008347197 035 $a(DE-He213)978-3-030-21759-4 035 $a(MiAaPQ)EBC5918483 035 $a(PPN)242823580 035 $a(EXLCZ)994100000008347197 100 $a20190528d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17?21, 2019, Proceedings /$fedited by Jorge A. Pérez, Nobuko Yoshida 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIV, 299 p. 1287 illus., 38 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v11535 311 $a3-030-21758-2 320 $aIncludes bibliographical references and index. 327 $aPsi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed Algorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. . 330 $aThis book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. 410 0$aProgramming and Software Engineering ;$v11535 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer system failures 606 $aComputer logic 606 $aComputers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer system failures. 615 0$aComputer logic. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSystem Performance and Evaluation. 615 24$aLogics and Meanings of Programs. 615 24$aThe Computing Profession. 676 $a004.36 702 $aPérez$b Jorge A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYoshida$b Nobuko$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466328803316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$91905204 997 $aUNISA