Undecidability of asynchronous session subtyping.
Mario BravettiMarco CarboneGianluigi ZavattaroPublished in: Inf. Comput. (2017)
Keyphrases
- description logics
- probabilistic planning
- state machines
- asynchronous circuits
- information retrieval
- search algorithm
- online discussion
- asynchronous cellular automata
- real time
- asynchronous communication
- discussion forums
- partially observable
- user behavior
- database systems
- case study
- learning algorithm
- machine learning
- neural network
- databases
- data sets