Specification of a distrubuted coordination function in LOTOS

I.A. Widya, F. Sadoun, G.J. van der Heijden

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationFORTE 1991 (Fourth International Conference on Formal Description Techniques
    Place of PublicationSydney, Australie
    Number of pages152
    Publication statusPublished - 19 Nov 1991


    • METIS-119494

    Cite this