Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Techniques for Distributed Objects, Components, and Systems

  • Kartonierter Einband
  • 316 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Object... Weiterlesen
20%
92.00 CHF 73.60
Sie sparen CHF 18.40
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



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

Produktinformationen

Titel: Formal Techniques for Distributed Objects, Components, and Systems
Untertitel: 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
Editor:
EAN: 9783030217587
ISBN: 3030217582
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 316
Gewicht: 482g
Größe: H235mm x B155mm x T17mm
Jahr: 2019
Untertitel: Englisch
Auflage: 1st ed. 2019

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"