Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International C
64.96 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10459577
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Gewicht: | 403 g |
Höhe: | 235 |
Länge: | 14 |
Seiten: | 243 |
Sprachen: | Englisch |
Autor: | Ahmed Bouajjani, Alexandra Silva |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen