3 citations · 8 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2017★ 3 cited
A Logic for Non-Deterministic Parallel Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by N…