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 / edited by Jorge A. Pérez, Nobuko Yoshida.

Format:

Book

Contributor:

Pérez, Jorge A., editor.

Yoshida, Nobuko, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 11535.

Programming and Software Engineering ; 11535

Language:

English

Subjects (All):

Software engineering.

Programming languages (Electronic computers).

Computer system failures.

Computer logic.

Computers.

Software Engineering.

Programming Languages, Compilers, Interpreters.

System Performance and Evaluation.

Logics and Meanings of Programs.

The Computing Profession.

Local Subjects:

Software Engineering.

Programming Languages, Compilers, Interpreters.

System Performance and Evaluation.

Logics and Meanings of Programs.

The Computing Profession.

Physical Description:

1 online resource (XIV, 299 pages) : 1287 illustrations, 38 illustrations in color.

Edition:

First edition 2019.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2019.

System Details:

text file PDF

Summary:

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

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. .

Other Format:

Printed edition:

ISBN:

978-3-030-21759-4

9783030217594

Access Restriction:

Restricted for use by site license.