Christian Haack, Alan Jeffrey. Pattern-Matching Spi-Calculus. In Theodosis Dimitrakos, Fabio Martinelli, editors, Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. pages 55-70, Springer, 2004. [doi]
@inproceedings{HaackJ04,
title = {Pattern-Matching Spi-Calculus},
author = {Christian Haack and Alan Jeffrey},
year = {2004},
doi = {10.1007/0-387-24098-5_5},
url = {http://dx.doi.org/10.1007/0-387-24098-5_5},
tags = {pattern matching},
researchr = {https://researchr.org/publication/HaackJ04},
cites = {0},
citedby = {0},
pages = {55-70},
booktitle = {Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France},
editor = {Theodosis Dimitrakos and Fabio Martinelli},
publisher = {Springer},
isbn = {0-387-24050-0},
}