Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.

Ross Horne Sjouke Mauw Semen Yurkov

Published in: ICTAC (2021)

Keyphrases

formal analysis
database
databases
data analysis
wireless sensor networks
statistical analysis
learning algorithm
web services
rough sets
end to end
quantitative analysis
computer algebra