Ana Gualdina Almeida Matos

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Transaction Management

Information Flows

Concurrency Control

Top Venues

Publications

Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, Ana Gualdina Almeida Matos
From atomic variables to data-centric concurrency control. SAC (2016)
Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. TGC (2014)
António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
Lexically scoped distribution: what you see is what you get. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)