by Julian Rathke, Vladimiro Sassone and Paweł Sobociński
Reference:
Julian Rathke, Vladimiro Sassone and Paweł Sobociński, Semantic barbs and biorthogonality, In Foundations of Software Science and Computation Structures, FoSSaCS '07, Springer, vol. 4423, pp. 302–316, 2007.
Bibtex Entry:
@string{lncs="LNCS"}
@InProceedings{ barbs,
author = {Julian Rathke and Vladimiro Sassone and Pawe{\l} Soboci{\'{n}}ski},
title = {Semantic barbs and biorthogonality},
booktitle = {Foundations of Software Science and Computation Structures, {FoSSaCS '07}},
series = lncs,
volume = {4423},
pages = {302--316},
publisher = {Springer},
month = {March},
year = {2007},
url = {https://compose.ee/pawel/papers/barbs.pdf}
}