On the verification of open distributed systems.

Mads Dam, Lars-ke Fredlund

Browse the full SAC paper archive.