LEADER 04368nam 22007455 450 001 9910484111603321 005 20251106125533.0 010 $a3-319-39570-X 024 7 $a10.1007/978-3-319-39570-8 035 $a(CKB)3710000000711679 035 $a(DE-He213)978-3-319-39570-8 035 $a(MiAaPQ)EBC6295328 035 $a(MiAaPQ)EBC5595980 035 $a(Au-PeEL)EBL5595980 035 $a(OCoLC)1076254262 035 $a(PPN)194077098 035 $a(EXLCZ)993710000000711679 100 $a20160523d2016 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 $e36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /$fedited by Elvira Albert, Ivan Lanese 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 275 p. 56 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9688 300 $aIncludes index. 311 08$a3-319-39569-6 327 $aOn the Power of Attribute-Based Communication -- Fencing Programs with Self-Invalidation and Self-Downgrade -- A Framework for Certified Self-Stabilization -- Developing Honest Java Programs with Diogenes -- Playing with our CAT and Communication-Centric Applications -- Multiparty Session Types Within A Canonical Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems -- Choreographies in Practice -- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols -- Branching Bisimulation Games -- A Configurable CEGAR Framework with Interpolation-Based Refinements -- A Theory for the Composition of Concurrent Processes -- Enforcing Availability in Failure-Aware Communicating Systems -- Ransomware Steals Your Phone. Formal Methods Rescue It -- Multiple Mutation Testing from FSM -- The Challenge of Typed Expressiveness in Concurrency -- Type-Based Analysis for Session Inference -- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models. 330 $aThis book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 18 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9688 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aApplication software 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer and Information Systems Applications 606 $aComputer Communication Networks 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aApplication software. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Communication Networks. 676 $a004.0151 702 $aAlbert$b Elvira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484111603321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA