Simple grammar bisimilarity, with an application to session type equivalence

Documenti analoghi

• A proof theory of right-linear (omega-)grammars via cyclic proofs
  di: Das, Anupam, et al.
  Pubblicazione: (2024)
• $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
  di: Caminati, Marco B.
  Pubblicazione: (2024)
• The Tractability Border of Reachability in Simple Vector Addition Systems with States
  di: Chistikov, Dmitry, et al.
  Pubblicazione: (2024)
• Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
  di: Lichtner, Kilian, et al.
  Pubblicazione: (2025)
• A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
  di: Rooduijn, Jan, et al.
  Pubblicazione: (2024)