On fixpoint logics and equivalences for processes with restricted nondeterminism

Схожие документы

• On fixpoint logics and equivalences for processes with restricted nondeterminism
  по: Gutierrez, J
  Опубликовано: (2015)
• Nondeterminism in Logics of Programs
  по: Harel, David, и др.
  Опубликовано: (2023)
• On independence-friendly fixpoint logics
  по: J. C. Bradfield
  Опубликовано: (2004-10-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  по: Bradfield, J, и др.
  Опубликовано: (2007)
• The Complexity of Independence−Friendly Fixpoint Logic
  по: Bradfield, J, и др.
  Опубликовано: (2005)