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)