45 citations · 51 across the 4 of their papers we have counts for
4 papers
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…
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…
A Complete Logic for Database Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
In database theory, the term was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-determ…
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these…