Event structures for design and transformation in LOTOS

Romanus Langerak

doi:10.5555/646210.683619

Event structures for design and transformation in LOTOS

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

Original language	English
Title of host publication	FORTE '91
Subtitle of host publication	Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991
Editors	Ken R. Parker, Gordon A. Rose
Place of Publication	New York, NY
Publisher	ACM Publishing
Pages	265–280
Number of pages	16
ISBN (Print)	978-0-444-89402-1
DOIs	https://doi.org/10.5555/646210.683619
Publication status	Published - 19 Nov 1991

Access to Document

10.5555/646210.683619

Cite this

Langerak, R. (1991). Event structures for design and transformation in LOTOS. In K. R. Parker, & G. A. Rose (Eds.), FORTE '91: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991 (pp. 265–280). ACM Publishing. https://doi.org/10.5555/646210.683619

Langerak, Romanus. / Event structures for design and transformation in LOTOS. FORTE '91: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991. editor / Ken R. Parker ; Gordon A. Rose. New York, NY : ACM Publishing, 1991. pp. 265–280

@inproceedings{d6087d946022447ead308495c810a370,

title = "Event structures for design and transformation in LOTOS",

author = "Romanus Langerak",

year = "1991",

month = nov,

day = "19",

doi = "10.5555/646210.683619",

language = "English",

isbn = "978-0-444-89402-1",

pages = "265–280",

editor = "Parker, {Ken R.} and Rose, {Gordon A.}",

booktitle = "FORTE '91",

publisher = "ACM Publishing",

}

Langerak, R 1991, Event structures for design and transformation in LOTOS. in KR Parker & GA Rose (eds), FORTE '91: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991. ACM Publishing, New York, NY, pp. 265–280. https://doi.org/10.5555/646210.683619

Event structures for design and transformation in LOTOS. / Langerak, Romanus.
FORTE '91: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991. ed. / Ken R. Parker; Gordon A. Rose. New York, NY: ACM Publishing, 1991. p. 265–280.

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

Langerak R. Event structures for design and transformation in LOTOS. In Parker KR, Rose GA, editors, FORTE '91: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991. New York, NY: ACM Publishing. 1991. p. 265–280 doi: 10.5555/646210.683619