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, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bouajjani, Ahmed. (Editor ), Silva, Alexandra. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10321
Materias:	Computer logic. Software engineering. Artificial intelligence. Mathematical logic. Computer communication systems. Logics and Meanings of Programs. Software Engineering. Artificial Intelligence. Mathematical Logic and Formal Languages. Computer Communication Networks.

Tabla de Contenidos:

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 Büchi automata for multi-valued model checking
Privacy assessment using static taint analysis
EPTL - a temporal logic for weakly consistent systems.

Ejemplares similares