Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /: 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. ([2019])

• Record Type: Book
• Other Titles: FORTE 2019
• Further Information: Note: Jorge A. Pérez, Nobuko Yoshida (eds.).
• Editors: Pérez, Jorge A; Yoshida, Nobuko
• Other Names: FORTE Conference, 39th; International Federated Conferences on Distributed Computing Techniques, 14th, jointly held conference
• Contents: Psi-Calculi Revisited: Connectivity and Compositionality.- Squeezing Streams and Composition of Self-Stabilizing Algorithms.- Parametric Updates in Parametric Timed Automata.- Parametric Statistical Model Checking of UAV Flight plan.- Only Connect, Securely.- Output-sensitive Information Flow Analysis.- Component-aware Input-Output Conformance.- Declarative Choreographies and Liveness.- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.- Causal-Consistent Replay Debugging for Message Passing Programs.- Correct and Efficient Antichain Algorithms for Refinement Checking.- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification.- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.- On Certifying Distributed Algorithms: Problem of Local Correctness.- On a Higher-order Calculus of Computational Fields.- Semantically Sound Analysis of Content Security Policies.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 004/.36; Electronic data processing -- Distributed processing -- Congresses; Formal methods (Computer science) -- Congresses; Computer network protocols -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030217594; 3030217590
• Related ISBNs: 3030217582; 9783030217587
• Notes: Note: Includes bibliographical references and author index.; Note: Description based on online resource; title from digital title page (viewed on June 24, 2019).
• 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.