<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "SCC: A Service Centered Calculus"^^ . "We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.\r\n"^^ . "2006" . . "4184" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Gianluigi"^^ . "Zavattaro"^^ . "Gianluigi Zavattaro"^^ . . "Manuel"^^ . "Nunez"^^ . "Manuel Nunez"^^ . . "Francisco"^^ . "Martins"^^ . "Francisco Martins"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Mario"^^ . "Bravetti"^^ . "Mario Bravetti"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Antonio"^^ . "Ravara"^^ . "Antonio Ravara"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Davide"^^ . "Sangiorgi"^^ . "Davide Sangiorgi"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . . "SCC: A Service Centered Calculus (PDF)"^^ . . . . . . . . . . . "wsfm_2006a.pdf"^^ . . . "SCC: A Service Centered Calculus (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "SCC: A Service Centered Calculus (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #295 \n\nSCC: A Service Centered Calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .