Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus.

Clément Aubert Ross Horne Christian Johansen

Published in: EXPRESS/SOS (2022)

Keyphrases

artificial intelligence
decision trees
database
information systems
image processing
website
case study
bayesian networks
data model
hidden markov models