Time and Exceptional Behavior in Multiparty Structured Interactions

1. Berger, M., Honda, K.: The two-phase commitment protocol in an extended pi-calculus. Electr. Notes Theor. Comput. Sci. 39(1) (2000)

   Google Scholar 

2. Berger, M., Yoshida, N.: Timed, Distributed, Probabilistic, Typed Processes. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 158–174. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

3. Bravetti, M., Zavattaro, G.: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3), 565–599 (2009)

   Article  MathSciNet  MATH  Google Scholar 

4. Caires, L., Ferreira, C., Vieira, H.: A Process Calculus Analysis of Compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 87–103. Springer, Heidelberg (2009)

   Chapter  Google Scholar 

5. Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci. 411(51-52), 4399–4440 (2010)

   Article  MathSciNet  MATH  Google Scholar 

6. Campadello, S., Compagna, L., Gidoin, D., Holtmanns, S., Meduri, V., Pazzaglia, J., Seguran, M., Thomas, R.: Scenario Selection and Definition. Research report A7.D1.1, SERENITY consortium (2006)

   Google Scholar 

7. Capecchi, S., Giachino, E., Yoshida, N.: Global Escape in Multiparty Sessions. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2010. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl (2010)

   Google Scholar 

8. Carbone, M.: Session-based choreography with exceptions. In: PLACES 2008. ENTCS, vol. 241, pp. 35–55 (2008)

   Google Scholar 

9. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

10. Carbone, M., Honda, K., Yoshida, N.: Structured Interactional Exceptions in Session Types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 402–417. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

11. Ferreira, C., Lanese, I., Ravara, A., Vieira, H.T., Zavattaro, G.: Advanced Mechanisms for Service Combination and Transactions. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA. LNCS, vol. 6582, pp. 302–325. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

13. Lanese, I., Vaz, C., Ferreira, C.: On the Expressive Power of Primitives for Compensation Handling. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 366–386. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

14. Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

15. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

16. Lapadula, A., Pugliese, R., Tiezzi, F.: C-clock-WS: A Timed Service-Oriented Calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 275–290. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

17. López, H.A.: Foundations of Communication-Centred Programming. PhD thesis, IT University of Copenhagen (2012)

    Google Scholar 

18. López, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 212–223. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

19. López, H.A., Olarte, C., Pérez, J.A.: Towards a unified framework for declarative structured communications. In: PLACES. EPTCS, vol. 17, pp. 1–15 (2009)

    Google Scholar 

20. Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM Workshops. LNBIP, vol. 17, pp. 336–347. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

21. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Journal of Information and Computation 100, 1–77 (1992)

    Article  MathSciNet  MATH  Google Scholar 

22. Rittenberger, J.C., Bost, J.E., Menegazzi, J.J.: Time to give the first medication during resuscitation in out-of-hospital cardiac arrest. Resuscitation 70(2), 201–206 (2006)

    Article  Google Scholar 

23. Vieira, H.T.: A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing. PhD thesis, Universidade Nova de Lisboa (2010)

    Google Scholar 

24. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

25. Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theor. Comput. Sci. 402(2-3), 234–248 (2008)

    Article  MathSciNet  MATH  Google Scholar 

26. Xu, J., Romanovsky, A.B., Randell, B.: Coordinated exception handling in distributed object systems: From model to system implementation. In: ICDCS, pp. 12–21 (1998)

    Google Scholar 

27. Hongli, Y., Xiangpeng, Z., Chao, C., Zongyan, Q.: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 81–96. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references