A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.

Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu

Browse the full RTNS paper archive.