577 citations
- University of LisbonPT19 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Laboratoire Kastler BrosselFR5 papers
- Radboud University NijmegenNL4 papers
- Sorbonne UniversitéFR4 papers
- Heidelberg UniversityDE3 papers
- Iscte – Instituto Universitário de LisboaPT3 papers
- Stony Brook UniversityUS3 papers
- University of AlbertaCA3 papers
- Charles UniversityCZ2 papers
- École Normale Supérieure - PSLFR2 papers
- École PolytechniqueFR2 papers
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 1 cited
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2…
cs.PL2014★ 12 cited
Session Types as Generic Process Types
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…
cs.LO2014★ 3 cited
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions
Luís Caires, Jorge A. Pérez
Relating the specification of the global communication behavior of a distributed system and the specifications of the local communication behavior of each of its nodes/peers (e.g.,…