R-Pool and Settlement Markets for Recoverable ERC-20R Tokens
Conference proceeding (November 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Formal Techniques for Distributed Objects, Components, and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Monitoring Hyperproperties with Circuits
-
Altmetric BadgeChapter 2 Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2
-
Altmetric BadgeChapter 3 The Reversible Temporal Process Language
-
Altmetric BadgeChapter 4 Branch-Well-Structured Transition Systems and Extensions
-
Altmetric BadgeChapter 5 Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems
-
Altmetric BadgeChapter 6 Co-engineering Safety-Security Using Statistical Model Checking
-
Altmetric BadgeChapter 7 Fault-Tolerant Multiparty Session Types
-
Altmetric BadgeChapter 8 Effective Reductions of Mealy Machines
-
Altmetric BadgeChapter 9 Traits: Correctness-by-Construction for Free
-
Altmetric BadgeChapter 10 Encodability Criteria for Quantum Based Systems
-
Altmetric BadgeChapter 11 LTL Under Reductions with Weaker Conditions Than Stutter Invariance
-
Altmetric BadgeChapter 12 Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Attention for Chapter 2:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2