Reasoning about concurrent systems: a functional approach

Benzer Materyaller

• Reasoning about equilibria in game-like concurrent systems
  Yazar:: Gutierrez, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)
• Reasoning about equilibria in game-like concurrent systems
  Yazar:: Gutierrez, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2016)
• Concurrent Interaction Games
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (2000)
• Robin Milner's Work on Concurrency
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (2010)
• Sequentiality vs. concurrency in games and logic
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (2003)