A framework for specifying and verifying the behaviour of open systems.

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases