Branching Bisimilarity for Processes with Time-Outs.

Gaspard Reghem Rob J. van Glabbeek

Published in: CONCUR (2024)

Keyphrases

process model
real world
information retrieval
artificial intelligence
data structure
trade off
medical images
information processing
branch and bound