Manifest Deadlock-Freedom for Shared Session Types.

Stephanie Balzer Bernardo Toninho Frank Pfenning

Published in: ESOP (2019)

Keyphrases

web services
real time
data sets
data structure
search algorithm
preprocessing
xml documents
information seeking
search sessions