Sciweavers

557 search results - page 1 / 112
» Calculi for Service-Oriented Computing
Sort
View
85
Voted
SFM
2009
Springer
114views Formal Methods» more  SFM 2009»
15 years 3 months ago
Calculi for Service-Oriented Computing
Roberto Bruni
COORDINATION
2008
Springer
15 years 24 days ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
COORDINATION
2008
Springer
15 years 24 days ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
CAISE
2005
Springer
15 years 4 months ago
Service-Oriented Architectures and Mobile Services
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
Ivar Jørstad, Schahram Dustdar, Do Van Than...