3.1k citations
- University of LisbonPT80 papers
- Centre National de la Recherche ScientifiqueFR49 papers
- Heidelberg UniversityDE44 papers
- Sorbonne UniversitéFR43 papers
- Charles UniversityCZ42 papers
- Justus-Liebig-Universität GießenDE42 papers
- Michigan State UniversityUS42 papers
- New York UniversityUS42 papers
- Radboud University NijmegenNL42 papers
- University of EdinburghGB42 papers
- European Organization for Nuclear ResearchCH41 papers
- Stony Brook UniversityUS41 papers
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017
Revisiting concurrent separation logic
Pedro Soares, António Ravara, Simão Melo de Sousa
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary n…
cs.LO2017★ 3 cited
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus be…