On the Undecidability of Asynchronous Session Subtyping.

Julien Lange Nobuko Yoshida

Published in: FoSSaCS (2017)

Keyphrases

description logics
asynchronous circuits
user behavior
online discussion
search sessions
discussion forums
state machines
real time
neural network
information systems
knowledge representation
web search engines
content analysis
discussion groups
delay insensitive