Christel Baier, Mila E. Majster-Cederbaum. Denotational Linear Time Semantics and Sequential Composition. Inf. Process. Lett., 59(3):135-143, 1996. [doi]
@article{BaierM96:0, title = {Denotational Linear Time Semantics and Sequential Composition}, author = {Christel Baier and Mila E. Majster-Cederbaum}, year = {1996}, doi = {10.1016/0020-0190(96)00101-9}, url = {http://dx.doi.org/10.1016/0020-0190(96)00101-9}, tags = {semantics, denotational semantics, composition, e-science}, researchr = {https://researchr.org/publication/BaierM96%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {59}, number = {3}, pages = {135-143}, }