Persistent URL of this record https://hdl.handle.net/1887/68824
Documents
-
- Download
- Arbab_oe2018oe121
- Not Applicable (or Unknown)
- open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Treo: Textual Syntax for Reo Connectors
- All authors
- Dokter, K.P.C.; Arbab, F.
- Editor(s)
- Bliudze S., Bensalem S.
- Date
- 2018
- Title of host publication
- Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
- Pages
- 121 - 135
Publication Series
- Name
- Electronic Proceedings in Theoretical Computer Science, volume 272
Conference
- Conference
- the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018
- Date
- 2018-04-15
- Location
- Thessaloniki, Greece