↓ 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 Monitoring Hyperproperties with Circuits
  3. Altmetric Badge
    Chapter 2 Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2
  4. Altmetric Badge
    Chapter 3 The Reversible Temporal Process Language
  5. Altmetric Badge
    Chapter 4 Branch-Well-Structured Transition Systems and Extensions
  6. Altmetric Badge
    Chapter 5 Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems
  7. Altmetric Badge
    Chapter 6 Co-engineering Safety-Security Using Statistical Model Checking
  8. Altmetric Badge
    Chapter 7 Fault-Tolerant Multiparty Session Types
  9. Altmetric Badge
    Chapter 8 Effective Reductions of Mealy Machines
  10. Altmetric Badge
    Chapter 9 Traits: Correctness-by-Construction for Free
  11. Altmetric Badge
    Chapter 10 Encodability Criteria for Quantum Based Systems
  12. Altmetric Badge
    Chapter 11 LTL Under Reductions with Weaker Conditions Than Stutter Invariance
  13. Altmetric Badge
    Chapter 12 Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Attention for Chapter 4: Branch-Well-Structured Transition Systems and Extensions
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
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
Branch-Well-Structured Transition Systems and Extensions
Chapter number 4
Book title
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer, Cham, June 2022
DOI 10.1007/978-3-031-08679-3_4
Book ISBNs
978-3-03-108678-6, 978-3-03-108679-3
Authors

Benedikt Bollig, Alain Finkel, Amrita Suresh, Bollig, Benedikt, Finkel, Alain, Suresh, Amrita

View on publisher site

This page is provided by Altmetric.