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 /: 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. (2017)

• Record Type: Book
• Other Titles: FORTE 2017
• Further Information: Note: Ahmed Bouajjani, Alexandra Silva (eds.).
• Editors: Bouajjani, Ahmed; Silva, Alexandra
• Other Names: FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xiv, 243 pages), illustrations
• Subjects: 004/.36; Computer science; Electronic data processing -- Distributed processing -- Congresses; Formal methods (Computer science) -- Congresses; Computer network protocols -- Congresses; Computer network protocols; Electronic data processing -- Distributed processing; Formal methods (Computer science); Computer Science; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Computers -- Intelligence (AI) & Semantics; Mathematics -- Logic; Computers -- Hardware -- Network Hardware; Software Engineering; Artificial intelligence; Mathematical theory of computation; Network hardware; Logic design; Software engineering; Artificial intelligence; Computer Communication Networks; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319602257; 3319602241; 9783319602240
• Related ISBNs: 331960225X; 9783319602240
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 16, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.