Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Leonardo Gaetano Mezzina"'
Publikováno v:
Trustworthy Global Computing ISBN: 9783642009440
TGC
TGC
A number of formalisms have been defined to support the specification and analysis of service oriented applications. These formalisms have been equipped with tools (types or logics) to guarantee the correct behavior of the specified services. Due to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9a690b3cbfbfd830c7c38184225f5c8
http://hdl.handle.net/11581/405038
http://hdl.handle.net/11581/405038
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540799795
AMAST
AMAST
The notion of a session is fundamental in service-oriented applications, as it serves to separate interactions between clients and different instances of the same service, and to group together logical units of work. Recently, the Service Centered Ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ad921135679e133912cd434d0f81132
https://doi.org/10.1007/978-3-540-79980-1_8
https://doi.org/10.1007/978-3-540-79980-1_8
Autor:
Leonardo Gaetano Mezzina
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540682646
COORDINATION
COORDINATION
The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups together basic units of work. Together with sessions, session types were introduced to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::974a1bc236a7742d349f6d9792632137
https://doi.org/10.1007/978-3-540-68265-3_14
https://doi.org/10.1007/978-3-540-68265-3_14