Verifying Asynchronous Interactions via Communicating Session Automata.

Julien Lange Nobuko Yoshida

Published in: CAV (1) (2019)

Keyphrases

model checking
cellular automata
finite state
probabilistic automata
real world
data sets
data mining
case study
multi agent
hidden markov models
protein interaction
interaction analysis
human interactions
asynchronous circuits