Towards an Implementation-oriented Specification of TP Protocol in LOTOS.

Ing Widya, Gert-Jan van der Heijden

Browse the full FM paper archive.