1 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 1 cited
Sound Atomicity Inference for Data-Centric Synchronization
Hervé Paulino, Ana Almeida Matos, Jan Cederquist +3
Data-Centric Concurrency Control (DCCC) shifts the reasoning about concurrency restrictions from control structures to data declaration. It is a high-level declarative approach tha…
cs.PL2019★ 1 cited
Information flow in a distributed security setting
Ana Almeida Matos, Jan Cederquist
Information flow security is classically formulated in terms of the absence of illegal information flows, with respect to a security setting consisting of a single flow policy that…