3 citations · 8 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…