„Context-free specifications“

Suchergebnisse

2 Treffer

• Checking Refinement of Asynchronous Programs Against Context-Free Specifications
  Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Visibly Rational Expressions
  Bozzelli, Laura ; Sánchez, César 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik