Login / Signup

Deciding the Bisimilarity of Context-Free Session Types.

Bernardo AlmeidaAndreia MordidoVasco T. Vasconcelos
Published in: TACAS (2) (2020)
Keyphrases
  • context free
  • context dependent
  • context sensitive
  • grammatical inference
  • context free grammars
  • context free languages
  • finite state
  • machine learning
  • parse tree
  • graph grammars
  • attribute grammars
  • inductive inference