↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 14: Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Altmetric Badge

Mentioned by

q&a
1 Q&A thread
Summary Q&A
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.
Chapter title
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Chapter number 14
Book title
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer, Cham, June 2019
DOI 10.1007/978-3-030-21759-4_14
Book ISBNs
978-3-03-021758-7, 978-3-03-021759-4
Authors

Jean-Bernard Stefani, Martin Vassor

View on publisher site

This page is provided by Altmetric.