Reasoning About a Service-oriented Programming Paradigm

Claudio Guidi Fabrizio Montesi Reasoning About a Service-oriented Programming Paradigm http://arxiv.org/abs/0906.3920 2009 YR-SOC db/series/eptcs/eptcs2.html#abs-0906-3920 journals/corr/abs-0906-4900 67-81