3.1k citations
- University of LisbonPT85 papers
- Centre National de la Recherche ScientifiqueFR51 papers
- Heidelberg UniversityDE47 papers
- Sorbonne UniversitéFR44 papers
- University of EdinburghGB44 papers
- Charles UniversityCZ43 papers
- Justus-Liebig-Universität GießenDE43 papers
- Michigan State UniversityUS43 papers
- New York UniversityUS43 papers
- Radboud University NijmegenNL43 papers
- European Organization for Nuclear ResearchCH42 papers
- Stony Brook UniversityUS42 papers
Showing 2014 · cs.LOShow all
2 papers · 2 filters
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.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.,…