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)