Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.

Andrea Esposito Alessandro Aldini Marco Bernardo

Published in: FORTE (2023)

Keyphrases

management system
image analysis
genetic algorithm
expert systems
formal semantics
database
information retrieval
website
multi agent
data analysis
programming language
distributed systems
computer systems