3 citations · 8 across the 6 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2017★ 2 cited
Serialisable Multi-Level Transaction Control: A Specification and Verification
Egon Börger, Klaus-Dieter Schewe, Qing Wang
We define a programming language independent controller TaCtl for multi-level transactions and an operator , which when applied to concurrent programs with multi-level shared l…
cs.DB2017★ 3 cited
Specifying Transaction Control to Serialize Concurrent Program Executions
Egon Börger, Klaus-Dieter Schewe
We define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respec…