Asynchronous Extensions of HyperLTL.

Laura Bozzelli Adriano Peron César Sánchez

Published in: LICS (2021)

Keyphrases

asynchronous communication
knowledge representation
efficient implementation
discussion forums
real time
search engine
website
search space