Welcome

Tao4WS (after Tools and Operational semantics for Web Services) is a site where several tools based on rigorous semantics (mainly, operational) are collected.

The tools are mainly tailored for Web Services, but they are also suitable for modelling, reasoning and verifying concurrent and distributed computations.

In these pages you'll find papers, tools and technical documentation about the tools and their underlying theories.