Gwen Salaün, Lucas Bordeaux, Marco Schaerf. Describing and Reasoning on Web Services using Process Algebra. In Proceedings of the IEEE International Conference on Web Services (ICWS 04), June 6-9, 2004, San Diego, California, USA. pages 43, IEEE Computer Society, 2004. [doi]
@inproceedings{SalaunBS04,
title = {Describing and Reasoning on Web Services using Process Algebra},
author = {Gwen Salaün and Lucas Bordeaux and Marco Schaerf},
year = {2004},
doi = {10.1109/ICWS.2004.46},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.46},
tags = {web service, process algebra, web services, algebra},
researchr = {https://researchr.org/publication/SalaunBS04},
cites = {0},
citedby = {0},
pages = {43},
booktitle = {Proceedings of the IEEE International Conference on Web Services (ICWS 04), June 6-9, 2004, San Diego, California, USA},
publisher = {IEEE Computer Society},
}