@INPROCEEDINGS{CORE:WSFM2006:SCC,
  title = {{SCC: a Service Centered Calculus}},
  author = {{Michele} {Boreale} and {Roberto} {Bruni} and {Luis} {Caires} and {Rocco} {De Nicola} and {Ivan} {Lanese} and {Michele} {Loreti} and {Francisco} {Martins} and {Ugo} {Montanari} and {Ant\'onio} {Ravara} and {Davide} {Sangiorgi} and {Vasco T.} {Vasconcelos} and {Gianluigi} {Zavattaro}},
  booktitle = {Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods},
  editor = {M. Bravetti and  G. Zavattaro},
  pages = {38--57},
  abstract = {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.},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {4184},
  year = {2006},
  url = {http://www.di.unipi.it/~bruni/publications/wsfm2006b.pdf.gz},
  doi = {10.1007/11841197_3},
  invited = {Y},
  main = {Y},
  partner = {DSIUF, FFCUL, PISA, UNIBO},
  status = {public},
  task = {T2.1},
}