5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Roberto Bruni, Karsten Wolf ... mapping the structures resulting from the enactment, h : II1 a II2 s.t. the interpretation of concept, role and object ... Moreover, according to this claim, we need, at most, to keep into account, for a given starting condition, a successor state for ... Moreover, the adopted repair- based strategy can deal with the minimal-change semantics also in case of side- effects, anbsp;...
|Title||:||Web Services and Formal Methods|
|Author||:||Roberto Bruni, Karsten Wolf|
|Publisher||:||Springer - 2009-04-30|