Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. In Alain Plantec, Frank Singhoff, Sébastien Faucou, Luís Miguel Pinho, editors, Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016. pages 3-12, ACM, 2016. [doi]
Abstract is missing.