-
1
-
-
38549090009
-
Towards a unifying theory for choreography conformance and contract compliance
-
Software Composition - 6th International Symposium, SC 2007, Revised Selected Papers
-
Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.4829, pp. 34-50. Springer, Heidelberg (2007) (Pubitemid 351152955)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4829
, pp. 34-50
-
-
Bravetti, M.1
Zavattaro, G.2
-
2
-
-
38149054799
-
Contract based multi-party service composition
-
In: Arbab, F., Sirjani, M. (eds.), LNCS, Springer, Heidelberg
-
Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.4767, pp. 207-222. Springer, Heidelberg (2007)
-
(2007)
FSEN 2007
, vol.4767
, pp. 207-222
-
-
Bravetti, M.1
Zavattaro, G.2
-
3
-
-
37149034722
-
A theory for strong service compliance
-
Coordination Models and Languages - 9th International Conference, COORDINATION 2007, Proceedings
-
Bravetti, M., Zavattaro, G.: A theory for strong service compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.4467, pp. 96-112. Springer, Heidelberg (2007) (Pubitemid 350259722)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4467
, pp. 96-112
-
-
Bravetti, M.1
Zavattaro, G.2
-
4
-
-
58149481641
-
A foundational theory of contracts for multi-party service composition
-
Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451-478 (2008)
-
(2008)
Fundamenta Informaticae
, vol.89
, Issue.4
, pp. 451-478
-
-
Bravetti, M.1
Zavattaro, G.2
-
5
-
-
67649938979
-
Contract compliance and choreography conformance in the presence of message queues
-
LNCS, Springer, Heidelberg
-
Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)
-
(2008)
WS-FM 2008
-
-
Bravetti, M.1
Zavattaro, G.2
-
7
-
-
35048900317
-
Stuck-Free Conformance
-
Computer Aided Verification 16th International Conference, CAV 2004 Boston, MA, USA, July 13-17, 2004 Proceedings
-
Fournet, C., Hoare, S.T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.3114, pp. 242-254. Springer, Heidelberg (2004) (Pubitemid 38940064)
-
(2004)
LECTURE NOTES IN COMPUTER SCIENCE.
, Issue.3114
, pp. 242-254
-
-
Fournet, C.1
Hoare, T.2
Rajamani, S.K.3
Rehof, J.4
-
9
-
-
58049133540
-
Bridging the gap between interaction-and process-oriented choreographies
-
SEFM IEEE Computer Society Press, Los Alamitos
-
Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between Interaction- and Process-Oriented Choreographies. In: SEFM 2008. IEEE Computer Society Press, Los Alamitos (2008)
-
(2008)
SEFM 2008
-
-
Lanese, I.1
Guidi, C.2
Montesi, F.3
Zavattaro, G.4
-
12
-
-
84855188850
-
Fair testing
-
DOI 10.1016/j.ic.2006.06.002, PII S0890540106001106
-
Rensink, A., Vogler, W.: Fair testing. Information and Computation 205(2), 125-198 (2007) (Pubitemid 46038921)
-
(2007)
Information and Computation
, vol.205
, Issue.2
, pp. 125-198
-
-
Rensink, A.1
Vogler, W.2
|