Refinement for Structured Concurrent Programs.

Bernhard Kragl Shaz Qadeer Thomas 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