A LOTOS Compiler Generating Multi-threaded Object Codes

Authors:
Keiichi Yasumoto;Teruo Higashino;Kota Abe;Toshio Matsuura;Kenichi Taniguchi
Affiliations:
-;-;-;-;-
Venue:
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Year:
1995

Formal methods for broadband and multimedia systems (tutorial)

ICSE '97 Proceedings of the 19th international conference on Software engineering
Protocol animation

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Graphic visualization and animation of LOTOS execution traces

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Computer Communications

Hi-index	0.00