↓ Skip to main content

Formal Techniques for Distributed Objects, Components, and Systems

Overview of attention for book
Cover of 'Formal Techniques for Distributed Objects, Components, and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Psi-Calculi Revisited: Connectivity and Compositionality
  3. Altmetric Badge
    Chapter 2 Squeezing Streams and Composition of Self-stabilizing Algorithms
  4. Altmetric Badge
    Chapter 3 Parametric Updates in Parametric Timed Automata
  5. Altmetric Badge
    Chapter 4 Parametric Statistical Model Checking of UAV Flight Plan
  6. Altmetric Badge
    Chapter 5 Only Connect, Securely
  7. Altmetric Badge
    Chapter 6 Output-Sensitive Information Flow Analysis
  8. Altmetric Badge
    Chapter 7 Component-aware Input-Output Conformance
  9. Altmetric Badge
    Chapter 8 Declarative Choreographies and Liveness
  10. Altmetric Badge
    Chapter 9 Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
  11. Altmetric Badge
    Chapter 10 Causal-Consistent Replay Debugging for Message Passing Programs
  12. Altmetric Badge
    Chapter 11 Correct and Efficient Antichain Algorithms for Refinement Checking
  13. Altmetric Badge
    Chapter 12 Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification
  14. Altmetric Badge
    Chapter 13 Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
  15. Altmetric Badge
    Chapter 14 Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
  16. Altmetric Badge
    Chapter 15 Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
  17. Altmetric Badge
    Chapter 16 On Certifying Distributed Algorithms: Problem of Local Correctness
  18. Altmetric Badge
    Chapter 17 On a Higher-Order Calculus of Computational Fields
  19. Altmetric Badge
    Chapter 18 Semantically Sound Analysis of Content Security Policies
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
2 X users
q&a
1 Q&A thread
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing, August 2019
DOI 10.1007/978-3-030-21759-4
ISBNs
978-3-03-021758-7, 978-3-03-021759-4
Editors

Pérez, Jorge A., Yoshida, Nobuko

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.