Asynchronous session subtyping as communicating automata refinement.
Mario BravettiGianluigi ZavattaroPublished in: Softw. Syst. Model. (2021)
Keyphrases
- cellular automata
- regular expressions
- communication channels
- lattice gas
- finite automata
- image sequences
- refinement process
- state machines
- probabilistic automata
- machine learning
- hidden markov models
- web search
- multiscale
- finite state machines
- metadata
- query refinement
- artificial intelligence
- finite state automata
- asynchronous communication
- delay insensitive