On fixpoint logics and equivalences for processes with restricted nondeterminism

Benzer Materyaller

• On fixpoint logics and equivalences for processes with restricted nondeterminism
  Yazar:: Gutierrez, J
  Baskı/Yayın Bilgisi: (2015)
• Nondeterminism in Logics of Programs
  Yazar:: Harel, David, ve diğerleri
  Baskı/Yayın Bilgisi: (2023)
• On independence-friendly fixpoint logics
  Yazar:: J. C. Bradfield
  Baskı/Yayın Bilgisi: (2004-10-01)
• Games for Topological Fixpoint Logic
  Yazar:: Nick Bezhanishvili, ve diğerleri
  Baskı/Yayın Bilgisi: (2016-09-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  Yazar:: Bradfield, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)