Towards Verification of Dialogue Protocols: A Mathematical Model.

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Browse the full ICAISC paper archive.