Simple grammar bisimilarity, with an application to session type equivalence.

Diogo Poças Vasco T. Vasconcelos

Published in: CoRR (2024)

Keyphrases

real world
databases
information retrieval
social networks
information systems
knowledge representation
rough sets
highly reliable