Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Ashutosh Gupta Corneliu Popeea Andrey Rybalchenko

Published in: ATVA (2010)

Keyphrases

concurrent programs
control system
concurrent processes
high level
machine learning
object oriented
fault tolerant