<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A symbolic semantics for a clculus for service-oriented computing"^^ . "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."^^ . "2009" . . . "241" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . . . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Nobuko"^^ . "Yoshida"^^ . "Nobuko Yoshida"^^ . . . . . . "A symbolic semantics for a clculus for service-oriented computing (PDF)"^^ . . . . . . . . . . . "cows_places_2009d.pdf"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (PDF)"^^ . . . . . . "Pugliese_Tiezzi_Yoshida.pdf"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A symbolic semantics for a clculus for service-oriented computing (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #408 \n\nA symbolic semantics for a clculus for service-oriented computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .