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

Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira. Implementing rigorous web services with process algebra: navigation plan for web services. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 625-631, ACM, 2009. [doi]

Authors

Mauricio Chui Rodrigues

This author has not been identified. Look up 'Mauricio Chui Rodrigues' in Google

Simon Malkowski

This author has not been identified. Look up 'Simon Malkowski' in Google

João Eduardo Ferreira

This author has not been identified. Look up 'João Eduardo Ferreira' in Google