Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016)

• Record Type: Book
• Further Information: Note: Edited by Elvira Albert, Ivan Lanese.
• Editors: Albert, Elvira; Lanese, Ivan
• Other Names: FORTE Conference, 36th
• Contents: On the Power of Attribute-Based Communication -- Fencing Programs with Self-Invalidation and Self-Downgrade -- A Framework for Certified Self-Stabilization -- Developing Honest Java Programs with Diogenes -- Playing with our CAT and Communication-Centric Applications -- Multiparty Session Types Within A Canonical Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems -- Choreographies in Practice -- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols -- Branching Bisimulation Games -- A Configurable CEGAR Framework with Interpolation-Based Refinements -- A Theory for the Composition of Concurrent Processes -- Enforcing Availability in Failure-Aware Communicating Systems -- Ransomware Steals Your Phone. Formal Methods Rescue It -- Multiple Mutation Testing from FSM -- The Challenge of Typed Expressiveness in Concurrency -- Type-Based Analysis for Session Inference -- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource (XVI, 275 pages), illustrations
• Subjects: 005.1015113; Computer science; Computer networks; Software engineering; Computers; Computer logic; Logic, Symbolic and mathematical; Computer logic; Computer networks; Computer science; Computers; Logic, Symbolic and mathematical; Software engineering; Computers -- Software Development & Engineering -- General; Computers -- Machine Theory; Mathematics -- Logic; Computers -- Information Technology; Computers -- Hardware -- Network Hardware; Software Engineering; User interface design & usability; Mathematical theory of computation; Information retrieval; Network hardware; Logic design; Computer Communication Networks; Computers -- Programming -- General; Computer programming / software development
• Languages: English
• ISBNs: 9783319395708; 3319395696; 9783319395692
• Related ISBNs: 331939570X; 9783319395692
• Notes: Note: Includes bibliographical references and index.
• 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.