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 /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Programming and Software Engineering ;
10321 |
| Subjects: |
Table of 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 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.