Quantitative Synthesis for Concurrent Programs.

Pavol Cerný Krishnendu Chatterjee Thomas A. Henzinger Arjun Radhakrishna Rohit Singh

Published in: CAV (2011)

Keyphrases

concurrent programs
concurrent programming
process algebra
artificial intelligence
web applications
real time
case study
model checking
concurrent processes