Specification of a distrubuted coordination function in LOTOS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	FORTE 1991 (Fourth International Conference on Formal Description Techniques
Place of Publication	Sydney, Australie
Pages	-
Number of pages	152
Publication status	Published - 19 Nov 1991

Keywords

@inproceedings{efa804b1d703469bba7fe6aebf22b30b,

title = "Specification of a distrubuted coordination function in LOTOS",

keywords = "METIS-119494",

author = "I.A. Widya and F. Sadoun and \{van der Heijden\}, G.J.",

year = "1991",

month = nov,

day = "19",

language = "Undefined",

pages = "--",

booktitle = "FORTE 1991 (Fourth International Conference on Formal Description Techniques",

}