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

Mauricio Chui Rodrigues, Simon Malkowski, Joo Eduardo Ferreira

Browse the full SAC paper archive.