Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing. Interface theories for concurrency and data. Theoretical Computer Science, 412(28):3101-3121, 2011. [doi]
@article{BauerHW11, title = {Interface theories for concurrency and data}, author = {Sebastian S. Bauer and Rolf Hennicker and Martin Wirsing}, year = {2011}, doi = {10.1016/j.tcs.2011.04.007}, url = {http://dx.doi.org/10.1016/j.tcs.2011.04.007}, tags = {data-flow}, researchr = {https://researchr.org/publication/BauerHW11}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {412}, number = {28}, pages = {3101-3121}, }