↓ 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 Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
  3. Altmetric Badge
    Chapter 2 Towards Bridging Time and Causal Reversibility
  4. Altmetric Badge
    Chapter 3 Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
  5. Altmetric Badge
    Chapter 4 Conformance-Based Doping Detection for Cyber-Physical Systems
  6. Altmetric Badge
    Chapter 5 On Implementable Timed Automata
  7. Altmetric Badge
    Chapter 6 Deep Statistical Model Checking
  8. Altmetric Badge
    Chapter 7 Trace Equivalence and Epistemic Logic to Express Security Properties
  9. Altmetric Badge
    Chapter 8 Derivation of Heard-of Predicates from Elementary Behavioral Patterns
  10. Altmetric Badge
    Chapter 9 Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
  11. Altmetric Badge
    Chapter 10 A Formal Framework for Consent Management
  12. Altmetric Badge
    Chapter 11 Tutorial: Parameterized Verification with Byzantine Model Checker
  13. Altmetric Badge
    Chapter 12 Typechecking Java Protocols with [St]Mungo
  14. Altmetric Badge
    Chapter 13 Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
Attention for Chapter 2: Towards Bridging Time and Causal Reversibility
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
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
Towards Bridging Time and Causal Reversibility
Chapter number 2
Book title
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer, Cham, June 2020
DOI 10.1007/978-3-030-50086-3_2
Book ISBNs
978-3-03-050085-6, 978-3-03-050086-3
Authors

Marco Bernardo, Claudio Antares Mezzina, Bernardo, Marco, Mezzina, Claudio Antares

View on publisher site

This page is provided by Altmetric.