Formalisation of Interaction Diagrams.

Ralph Rnnquist, Chi Keen Low

Browse the full APSEC paper archive.