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, et al.
  出版: (2023)
• On independence-friendly fixpoint logics
  由: J. C. Bradfield
  出版: (2004-10-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  由: Bradfield, J, et al.
  出版: (2007)
• The Complexity of Independence−Friendly Fixpoint Logic
  由: Bradfield, J, et al.
  出版: (2005)