Implementing rigorous web services with process algebra: navigation plan for web services

Cite this paper

@inproceedings{Rodrigues2009ImplementingRW, title={Implementing rigorous web services with process algebra: navigation plan for web services}, author={Mauricio Chui Rodrigues and Simon Malkowski and Jo{\~a}o Eduardo Ferreira}, booktitle={SAC}, year={2009} }