Process Algebra with Chaos Executing Policy for Unhealthy Systems.

Guang Zheng Lian Li Wenbo Chen Anping He Jinzhao Wu

Published in: J. Comput. (2009)

Keyphrases

formal methods
process algebra
formal specification
formal languages
distributed systems
computer systems