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
    Pages-
    Number of pages152
    Publication statusPublished - 19 Nov 1991

    Keywords

    • METIS-119494

    Cite this