most citedA Logic for Non-Deterministic Parallel Abstract State Machines

3 citations · 5 across the 2 of their papers we have counts for

collaborators
Showing cs.DBShow all

1 paper · 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…