Edinburgh Research Explorer

Compositional Timing-Aware Semantics for Synchronous Programming

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Compositional Timing-Aware Semantics for Synchronous Programming. / Aguado, Joaquin; Mendler, Michael ; Wang, JiaJie; Bodin, Bruno; Roop, Partha S .

FDL 2017 Forum on specification & Design Languages. IEEE, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Aguado, J, Mendler, M, Wang, J, Bodin, B & Roop, PS 2018, Compositional Timing-Aware Semantics for Synchronous Programming. in FDL 2017 Forum on specification & Design Languages. IEEE, Forum on Specification & Design Languages (FDL 2017), 18/09/17. DOI: 10.1109/FDL.2017.8303895

APA

Aguado, J., Mendler, M., Wang, J., Bodin, B., & Roop, P. S. (2018). Compositional Timing-Aware Semantics for Synchronous Programming. In FDL 2017 Forum on specification & Design Languages IEEE. DOI: 10.1109/FDL.2017.8303895

Vancouver

Aguado J, Mendler M, Wang J, Bodin B, Roop PS. Compositional Timing-Aware Semantics for Synchronous Programming. In FDL 2017 Forum on specification & Design Languages. IEEE. 2018. Available from, DOI: 10.1109/FDL.2017.8303895

Author

Aguado, Joaquin ; Mendler, Michael ; Wang, JiaJie ; Bodin, Bruno ; Roop, Partha S . / Compositional Timing-Aware Semantics for Synchronous Programming. FDL 2017 Forum on specification & Design Languages. IEEE, 2018.