Cover is for reference only

Formal Techniques for Distributed Objects, Components, and Systems : 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 /

This 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 Tech...

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink Online service
Group Author: Bouajjani, Ahmed; Silva, Alexandra
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10321
Subjects:
Computer science
Computer communication systems
Software engineering
Computer logic
Mathematical logic
Artificial intelligence
Logics and Meanings of Programs
Artificial Intelligence incl. Robotics
Mathematical Logic and Formal Languages
Computer Communication Networks
Online Access: http://dx.doi.org/10.1007/978-3-319-60225-7
Summary: This 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.
Carrier Form: 1 online resource(XIV,243pages): illustrations.
ISBN: 9783319602257
Index Number: QA76
CLC: TP301-532
Contents: 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 scen

Related Book Recommendations