Scribble is a language to describe application-level protocols among communicating systems. A protocol represents an agreement on how participating systems interact with each other. Without a protocol, it is hard to do meaningful interaction: participants simply cannot communicate effectively, since they do not know when to expect the other parties to send data, or whether the other party is ready to receive data. However, having a description of a protocol has further benefits. It enables verification to ensure that the protocol can be implemented without resulting in unintended consequences, such as deadlocks

References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Cruz-Filipe, Luís; Montesi, Fabrizio: A core model for choreographic programming (2020)
  2. Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko: Precise subtyping for synchronous multiparty sessions (2019)
  3. Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto: Verifiable abstractions for contract-oriented systems (2017)
  4. Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko: Monitoring networks through multiparty session types (2017)
  5. Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko: Multiparty session types as coherence proofs (2017)
  6. Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko: On the preciseness of subtyping in session types (2017)
  7. Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko: Timed runtime monitoring for multiparty conversations (2017)
  8. Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena: Partial and complete processes in multiparty sessions (2016)
  9. López, Hugo A.; Nielson, Flemming; Nielson, Hanne Riis: Enforcing availability in failure-aware communicating systems (2016)
  10. Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres: Combining behavioural types with security analysis (2015)
  11. Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko: A gentle introduction to multiparty asynchronous session types (2015)
  12. Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2015)
  13. Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi: The evolution of Jolie. From orchestrations to adaptable choreographies (2015)
  14. Mostrous, Dimitris; Yoshida, Nobuko: Session typing and asynchronous subtyping for the higher-order (\pi)-calculus (2015)
  15. Yoshida, Nobuko; Hu, Raymond; Neykova, Rumyana; Ng, Nicholas: The Scribble protocol language (2014) ioport