LEADER 04545nam 22007095 450 001 9910484171503321 005 20200703085840.0 010 $a3-319-60225-X 024 7 $a10.1007/978-3-319-60225-7 035 $a(CKB)4340000000061577 035 $a(DE-He213)978-3-319-60225-7 035 $a(MiAaPQ)EBC6295593 035 $a(MiAaPQ)EBC5578958 035 $a(Au-PeEL)EBL5578958 035 $a(OCoLC)990184990 035 $a(PPN)202990893 035 $a(EXLCZ)994340000000061577 100 $a20170527d2017 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 $e37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /$fedited by Ahmed Bouajjani, Alexandra Silva 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 243 p. 50 illus.) 225 1 $aProgramming and Software Engineering ;$v10321 311 $a3-319-60224-1 327 $aSession types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. 330 $aThis book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 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 ;$v10321 606 $aComputer logic 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer communication systems 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer communication systems. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Communication Networks. 676 $a004.36 702 $aBouajjani$b Ahmed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSilva$b Alexandra$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484171503321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA