Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. In 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018. pages 104-114, IEEE, 2018. [doi]
Abstract is missing.