Login / Signup

Proving Properties of Concurrent Programs - (Extended Abstract).

Gerard J. Holzmann
Published in: SPIN (2013)
Keyphrases
  • extended abstract
  • concurrent programs
  • databases
  • machine learning
  • high level
  • distributed systems