Specifying internet applications with DiCons.

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw

Browse the full SAC paper archive.