LEADER 04465nam 22007215 450 001 9910337853403321 005 20251225190521.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 $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,$x2945-9168 ;$v11535 311 08$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 DistributedAlgorithms: 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,$x2945-9168 ;$v11535 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aElectronic digital computers$xEvaluation 606 $aComputer science 606 $aComputers 606 $aProfessions 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 606 $aComputer Science Logic and Foundations of Programming 606 $aThe Computing Profession 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputer science. 615 0$aComputers. 615 0$aProfessions. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aThe Computing Profession. 676 $a004.36 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 $a9910337853403321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA