Sign in

Refinement for Structured Concurrent Programs.

Bernhard KraglShaz QadeerThomas A. Henzinger
Published in: CAV (1) (2020)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • artificial intelligence
  • natural language
  • machine learning
  • case study
  • end users
  • response time
  • programming language
  • web applications
  • temporal logic