57 citations · 242 across the 36 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 4 cited
Distributed System Contract Monitoring
Adrian Francalanza Ph. D, Andrew Gauci M. Sc, Gordon Pace Ph. D
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major ch…
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…