Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis.

Cornelis A. Middelburg

Published in: Theor. Comput. Sci. (2024)

Keyphrases

communication protocol
neural network
data analysis
real time
database
response time
computer simulation
petri net
augmented reality
communication protocols