Harri Klapuri, Jarmo Takala, Jukka Saarinen. Implementing reactive closed-system specifications. J. Network and Computer Applications, 24(2):101-123, 2001. [doi]
@article{KlapuriTS01, title = {Implementing reactive closed-system specifications}, author = {Harri Klapuri and Jarmo Takala and Jukka Saarinen}, year = {2001}, doi = {10.1006/jnca.2000.0127}, url = {http://dx.doi.org/10.1006/jnca.2000.0127}, researchr = {https://researchr.org/publication/KlapuriTS01}, cites = {0}, citedby = {0}, journal = {J. Network and Computer Applications}, volume = {24}, number = {2}, pages = {101-123}, }