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…