Compositional verification of termination-preserving refinement of concurrent programs.

Hongjin Liang Xinyu Feng Zhong Shao

Published in: CSL-LICS (2014)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
concurrent programming
formal specification
temporal logic
high level
distributed systems
concurrent processes
knowledge representation
web applications
case study
general purpose