A Symbolic Semantics for a Calculus for Service-Oriented Computing.

Rosario Pugliese Francesco Tiezzi Nobuko Yoshida

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

service oriented computing
grid computing
web services
service oriented
service composition
service discovery
grid systems
computing paradigm
service oriented architecture
web service composition
distributed computing
loosely coupled
high level
semantic web services
database systems
cloud computing
user interface