Quantitative Synthesis for Concurrent Programs

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

Published in: CoRR (2011)

Keyphrases

concurrent programs
process algebra
concurrent programming
concurrent processes
concurrent systems
information systems
databases
artificial intelligence
case study
wireless sensor networks
object oriented