@article{eprints408,
       publisher = {Elsevier},
         journal = {Electronic Notes in Theoretical Computer Science},
            note = {Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)
},
           title = {A symbolic semantics for a clculus for service-oriented computing},
          volume = {241},
            year = {2009},
          author = {Rosario Pugliese and Francesco Tiezzi and Nobuko Yoshida},
           pages = {135--164},
             url = {http://eprints.imtlucca.it/408/},
        abstract = {We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, such as e.g. equivalence and model checkers. We illustrate our approach through a ?translation service? scenario.},
        keywords = {Service-oriented computing; service orchestration; process calculi; symbolic semantics}
}