Verifying Asynchronous Interactions via Communicating Session Automata.

Julien Lange Nobuko Yoshida

Published in: CoRR (2019)

Keyphrases

model checking
regular expressions
finite automata
data sets
cellular automata
finite state
information systems
finite state machines
interaction patterns
asynchronous communication