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)