11 citations · 16 across the 3 of their papers we have counts for
4 papers
Concurrent Computing with Shared Replicated Memory
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the the…
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…
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Boerger, James K. Huggins
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.