Observational Logic and Process Semantics (Abstract)

Benzer Materyaller

• Quantales‚ Observational Logic and Process Semantics
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1993)
• Abstract Interpretation‚ Logical Relations and Kan Extensions
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (1990)
• A Compositional Game Semantics for Multi−Agent Logics of Partial Information
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (2007)
• Domain Theory and the Logic of Observable Properties
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (1987)
• A fully abstract game semantics for general references
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1998)