Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Conversation Calculus"'
Autor:
Hugo Torres Vieira, Luís Caires
Publikováno v:
Formal Aspects of Component Software ISBN: 9783642272684
FACS
FACS
We overview some perspectives on the concept of service-based computing, and discuss the motivation of a small set of modeling abstractions for expressing and analyzing service based systems, which have led to the design of the Conversation Calculus.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e9bceb20b03a1ab32466681e6a356b9
https://doi.org/10.1007/978-3-642-27269-1_2
https://doi.org/10.1007/978-3-642-27269-1_2
Publikováno v:
Programming Languages and Systems ISBN: 9783540787389
ESOP
ESOP
We present a process-calculus model for expressing and analyzing service-based systems. Our approach addresses central features of the service-oriented computational model such as distribution, process delegation, communication and context sensitiven
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cee02e82809d6d1c867becc528ddb5ac
https://doi.org/10.1007/978-3-540-78739-6_21
https://doi.org/10.1007/978-3-540-78739-6_21
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642204005
Results of the SENSORIA Project
Results of the SENSORIA Project
In the SENSORIA project, core calculi have been adopted as a linguistic means to model and analyze service-oriented applications. The present chapter reports about the static analysis techniques developed for the SENSORIA session-oriented core calcul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5f52c9ac6afe1a48648038b255079a4
http://hdl.handle.net/11568/176708
http://hdl.handle.net/11568/176708
Autor:
Stolze, Claude1 (AUTHOR), Miculan, Marino1 (AUTHOR) marino.miculan@uniud.it, Di Gianantonio, Pietro1 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Apr2023, Vol. 22 Issue 2, p473-494. 22p.
Autor:
Castellani, Ilaria1 (AUTHOR) ilaria.castellani@inria.fr, Dezani-Ciancaglini, Mariangiola2 (AUTHOR) dezani@di.unito.it, Giannini, Paola3 (AUTHOR) paola.giannini@uniupo.it
Publikováno v:
Acta Informatica. Nov2019, Vol. 56 Issue 7/8, p553-583. 31p.
Autor:
Reisig, Wolfgang1 reisig@informatik.hu-berlin.de
Publikováno v:
Acta Informatica. Apr2019, Vol. 56 Issue 3, p229-253. 25p.
Publikováno v:
Trustworthy Global Computing (9783642009440); 2009, p87-103, 17p
Publikováno v:
Journal of Computer Security. 2009, Vol. 17 Issue 5, p799-837. 39p. 4 Diagrams.