21 search results - page 1 / 5 » The Conversation Calculus: A Model of Service-Oriented Compu... |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
FMOODS
2006
13 years 6 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
JSW
2007
13 years 4 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...