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 | |
Publication status | Published - 19 Nov 1991 |
Event structures for design and transformation in LOTOS
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review