Structured Communication-Centred Programming for Web Services

By Marco Carbone, Kohei Honda, Nobuko Yoshida. European Symposium on Programming, 2007

376 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems

View Paper: https://www.semanticscholar.org/paper/864ee94129b55d35aafa744e3c2a09bf2037368e

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Kohei Honda
2. Marco Carbone
3. Nobuko Yoshida
4. Nicola Dragoni
5. Philip Wadler

In Information Systems

1. Nobuko Yoshida
2. Kohei Honda
3. Marco Carbone
4. Alberto Lluch-Lafuente
5. Manuel Mazzara
6. Ruslan Mustafin
7. Larisa Safina
8. Fabrizio Montesi

Citations in the corpus

• Multiparty asynchronous session types (2008, positive): “The type disciplines for the two (global and local) calculi studied in (Carbone et al. 2007) are based on binary synchronous session types, hence safety and progress for multiparty interactions are not considered.”
• Microservices: Yesterday, Today, and Tomorrow (2016, background): “This yields a correctness-by-construction methodology, guaranteeing important properties such as deadlock-freedom and lack of communication errors [9,11,52].”