Towards an implementation-oriented specification of TP protocol in LOTOS

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024641 ◽

1993 ◽

pp. 93-109

Author(s):

Ing Widya ◽

Gert-Jan van der Heijden

Download Full-text