Stella Galizia - Academia.edu (original) (raw)

Stella Galizia

Uploads

Papers by Stella Galizia

Research paper thumbnail of The Choreography Model for IRS-III

Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06), 2006

In addition to describing our approach in this paper we provide a formal semantics for IRS Choreo... more In addition to describing our approach in this paper we provide a formal semantics for IRS Choreography and a full implementation which we illustrate through an example application.

Research paper thumbnail of Finanza-Aziendale

Research paper thumbnail of The Choreography Model for IRS-III

Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06), 2006

In addition to describing our approach in this paper we provide a formal semantics for IRS Choreo... more In addition to describing our approach in this paper we provide a formal semantics for IRS Choreography and a full implementation which we illustrate through an example application.

Research paper thumbnail of Finanza-Aziendale

Log In