Login / Signup

A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.

Pierre ColletteEdgar Knapp
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • concurrent programs
  • machine learning
  • artificial intelligence
  • information systems
  • computer systems