Undecidability of Asynchronous Session Subtyping.
Mario BravettiMarco CarboneGianluigi ZavattaroPublished in: CoRR (2016)
Keyphrases
- description logics
- answering queries
- asynchronous communication
- probabilistic planning
- discussion forums
- online discussion
- asynchronous cellular automata
- discussion groups
- state machines
- asynchronous circuits
- information retrieval
- planning problems
- query answering
- domain independent
- query optimization
- case study
- decision trees