One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics

Documenti analoghi

• Semantics out of context: nominal absolute denotations for first-order logic and computation
  di: Gabbay, Murdoch J.
  Pubblicazione: (2013)
• A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
  di: Barroso-Nascimento, Victor, et al.
  Pubblicazione: (2025)
• Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
  di: Raphaëlle, Crubillé
  Pubblicazione: (2026)
• A Fibrational Perspective on Differential Linear Logic
  di: Koleilat, Jad
  Pubblicazione: (2026)
• On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
  di: Lago, Ugo Dal, et al.
  Pubblicazione: (2026)