Towards a Mobile LOTOS

Authors:
Elie Najm;Jean-Bernard Stefani;Arnaud Février
Affiliations:
-;-;-
Venue:
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Year:
1995

Citing 0
Cited 3

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An integrated approach to coordination description in distributed multimedia applications

Integrated Computer-Aided Engineering
Translating Pi-calculus into LOTOS NT

IFM'10 Proceedings of the 8th international conference on Integrated formal methods

Quantified Score

Hi-index	0.00

Visualization

Abstract