Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... DisCoTec 2017, Neuchâtel, Switzerl - Brossura

Brossura

ISBN 10: 3319602268 ISBN 13: 9783319602264

Casa editrice: Springer My Copy UK, 2017

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer My Copy UK
• Data di pubblicazione: 2017
• Lingua: Inglese
• ISBN 10: 3319602268
• ISBN 13: 9783319602264
• Rilegatura: Copertina flessibile
• Numero di pagine: 260
• Redattore: Bouajjani Ahmed, Silva Alexandra
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania