Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications.

Pieter Geelen, Zsfia Ruttkay, Jan Treur

Browse the full EKAW paper archive.