How to Infer Finite Session Types in a Calculus of Services and Sessions.

Leonardo Gaetano Mezzina

Published in: COORDINATION (2008)

Keyphrases

service oriented
web services
context aware
information systems
end users
service providers
information services
ubiquitous computing
service composition
real numbers
web pages
website
expressive power
finite number
formal language
user sessions