TY - RPRT TI - Web Services: A Process Algebra Approach AU - Andrea Ferrara PY - 2004 UR - https://arxiv.org/abs/cs/0406055 ID - cs/0406055 ER -