The scribble protocol language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8358 LNCS, Issue , 2014, Pages 22-41

  Yoshida, Nobuko ^a   Hu, Raymond ^a   Neykova, Rumyana ^a   Ng, Nicholas ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CURRENT STATUS; SCRIBBLE PROTOCOL;

ARTIFICIAL INTELLIGENCE;

EID: 84901321651     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-05119-2_3     Document Type: Conference Paper

References (43)

1. Web Services Choreography Description Language: Primer 1.0. http://www.w3. org/TR/ws-cdl-10-primer/
2. Advanced Message Queueing Protocols. www.amqp.org/confluence/display/ AMQP/Advanced+Message+Queuing+Protocol
3. Bettini, L., Coppo, M., Dantoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: Van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
4. Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FMOODS/ FORTE 2013. LNCS, vol. 7892, pp. 50-65. Springer, Heidelberg (2013)
5. Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162-176. Springer, Heidelberg (2010)
6. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS 2010. LIPIcs, vol. 8, pp. 338-351. Schloss Dagstuhl (2010)
7. 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)
8. W3C Web Services Choreography Description Language. http://www.w3.org/ 2002/ws/chor/
9. Chen, T.-C., Bocchi, L., Denielou, P.-M., Honda, K., Yoshida, N.: Asynchronous distributed monitoring for multiparty session enforcement. In: Bruni, R., Sassone, V. (eds.) TGC 2011. LNCS, vol. 7173, pp. 25-45. Springer, Heidelberg (2012)
10. Demangeon, R., Honda, K.: Nested protocols in session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 272-286. Springer, Heidelberg (2012)
11. Denielou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435-446. ACM (2011)
12. Denielou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194-213. Springer, Heidelberg (2012)
13. Denielou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 174-186. Springer, Heidelberg (2013)
14. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
15. Qualit e Cognizant business unit. Zero Deviation Life Cycle. http://0deviation. com/
16. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In : Proceedings of EuroSys'06, pp. 177-190. ACM (2006) (Pubitemid 47485746)
17. Honda, K.: Scribble Examples: (1) Protocols (2007)
18. Honda, K., Hu, R., Neykova, R., Chen, T.-C., Demangeon, R., Denielou, P.-M., Yoshida, N.: Structuring communication with session types. In: COB'12. LNCS, Springer (to appear)
19. Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55-75. Springer, Heidelberg (2011)
20. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
21. Honda, Kohei, Yoshida, Nobuko, Carbone, Marco: Web services, mobile processes and types. EATCS Bull. 91, 160-188 (2007)
22. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL '08, pp. 273-284. ACM (2008)
23. Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329-353. Springer, Heidelberg (2010)
24. Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations: Distributed dynamic verification with session types and Python. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130-148. Springer, Heidelberg (2013)
25. Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516-541. Springer, Heidelberg (2008)
26. Ocean Observatories Initiative. Scribble OOI derivalables. https://confluence.oceanobservatories.org/display/CIDev/ Identify+required+Scribble+extensions+for+advanced+scenarios+of+R3+COI
27. Milner, R.: The polyadic π-calculus: A tutorial. In: Proceedings of the International Summer School on Logic Algebra of Specification, Marktoberdorf (1992)
28. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
29. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Inf. Comp. 100(1), 1-40 (1992)
30. Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316-332. Springer, Heidelberg (2009)
31. Neykova, R., Yoshida, N., Hu, R.: SPY: Local verification of global protocols. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 358-363. Springer, Heidelberg (2013)
32. Ng, N., Yoshida, N.: Pabble: Parameterised scribble for parallel programming. In: PDP, IEEE (2014, to appear)
33. Ng, N., Yoshida, N., Honda, K.: Multiparty session C: Safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202-218. Springer, Heidelberg (2012)
34. OOI. The Ocean Observatories Initiative. http://oceanobservatories.org/
35. Pi4tech home page. http://www.pi4tech.com
36. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
37. Red Hat JBoss. JBoss Community Scribble homepage. http://www.jboss.org/ scribble
38. JBoss Savara. JBoss Savara Project homepage. http://www.jboss.org/savara.
39. Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
40. Scribble Team. Scribble Language Reference. https://github.com/scribble/ scribble-spec
41. Scribble Team. Scribble Project github homepage. http://www.scribble.org
42. UNIFI. International Organization for Standardization 20022 UNIversal Financial Industry message scheme. http://www.iso20022.org (2002)
43. Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci. 171(4), 73-93 (2007) (Pubitemid 46977865)