SCC: A Service Centered Calculus. Boreale, M., Bruni, R., Caires, L., Nicola, R. D., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V. T., & Zavattaro, G. In Bravetti, M., Núñez, M., & Zavattaro, G., editors, Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, volume 4184, of Lecture Notes in Computer Science, pages 38–57, 2006. Springer.
SCC: A Service Centered Calculus [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
  author    = {Michele Boreale and
               Roberto Bruni and
               Lu{\'{\i}}s Caires and
               Rocco De Nicola and
               Ivan Lanese and
               Michele Loreti and
               Francisco Martins and
               Ugo Montanari and
               Ant{\'{o}}nio Ravara and
               Davide Sangiorgi and
               Vasco Thudichum Vasconcelos and
               Gianluigi Zavattaro},
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez and
               Gianluigi Zavattaro},
  title     = {{SCC:} {A} Service Centered Calculus},
  booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4184},
  pages     = {38--57},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841197\_3},
  doi       = {10.1007/11841197\_3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0