Buch, Englisch, Band 10321, 243 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 3985 g
Formal Techniques for Distributed Objects, Components, and Systems
1. Auflage 2017
ISBN: 978-3-319-60224-0
Verlag: Springer International Publishing
37th 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
Buch, Englisch, Band 10321, 243 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 3985 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-60224-0
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Session 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.