Verifying parallel programs with dynamic communication structures.

Tayssir Touili Mohamed Faouzi Atig

Published in: Theor. Comput. Sci. (2010)

Keyphrases

case study
high level
object oriented
dynamic environments
data acquisition
computer networks
communication networks
communication systems
computer programs
computer architecture
dynamically changing
distributed memory
communication overhead