13 citations · 42 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 8 cited
A Verified Algebra for Linked Data
Ross Horne, Vladimiro Sassone
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish l…
cs.LO2011★ 8 cited
Permission-Based Separation Logic for Message-Passing Concurrency
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission…