On fixpoint logics and equivalences for processes with restricted nondeterminism

Míreanna comhchosúla

• On fixpoint logics and equivalences for processes with restricted nondeterminism
  de réir: Gutierrez, J
  Foilsithe / Cruthaithe: (2015)
• Nondeterminism in Logics of Programs
  de réir: Harel, David, et al.
  Foilsithe / Cruthaithe: (2023)
• On independence-friendly fixpoint logics
  de réir: J. C. Bradfield
  Foilsithe / Cruthaithe: (2004-10-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  de réir: Bradfield, J, et al.
  Foilsithe / Cruthaithe: (2007)
• The Complexity of Independence−Friendly Fixpoint Logic
  de réir: Bradfield, J, et al.
  Foilsithe / Cruthaithe: (2005)