Advanced chopping of sequential and concurrent programs.

Dennis Giffhorn

Published in: Softw. Qual. J. (2011)

Keyphrases

concurrent programs
process algebra
concurrent programming
model checking
web applications
data structure
general purpose