Concurrent abstract state machines
- Authors
- A Blass
- A Blass
- A Blass
- A Blass
- A Blass
- A Blass
- A Blass
- A Mazurkiewicz
- A Mazurkiewicz
- A Prinz
- A Roscoe
- C Wallace
- CAR Hoare
- E Best
- E Börger
- E Börger
- E Börger
- E Börger
- Egon Börger
- G Agha
- G Winskel
- HJ Genrich
- J Peterson
- JR Abrial
- JR Abrial
- KD Schewe
- KD Schewe
- KD Schewe
- KD Schewe
- Klaus-Dieter Schewe
- L Lamport
- L Lamport
- L Lamport
- L Lamport
- P Wegner
- R Banach
- RF Stärk
- RM Karp
- T Harris
- Y Gurevich
- Y Gurevich
- Y Gurevich
- Y Gurevich
- Y Gurevich
- Publication date
- 1 January 2015
- Publisher
- Doi
Abstract
n/Similar works
Available Versions
Last time updated on 03/05/2017