Reasoning about concurrent systems: a functional approach

समान संसाधन

• Reasoning about equilibria in game-like concurrent systems
  द्वारा: Gutierrez, J, और अन्य
  प्रकाशित: (2014)
• Reasoning about equilibria in game-like concurrent systems
  द्वारा: Gutierrez, J, और अन्य
  प्रकाशित: (2016)
• Concurrent Interaction Games
  द्वारा: Abramsky, S
  प्रकाशित: (2000)
• Robin Milner's Work on Concurrency
  द्वारा: Abramsky, S
  प्रकाशित: (2010)
• Sequentiality vs. concurrency in games and logic
  द्वारा: Abramsky, S
  प्रकाशित: (2003)