TY  - RPRT
TI  - A Logic for Non-Deterministic Parallel Abstract State Machines
AU  - Flavio Ferrarotti
AU  - Klaus-Dieter Schewe
AU  - Loredana Tec
AU  - Qing Wang
PY  - 2017
DO  - 10.1007/978-3-319-30024-5_18
UR  - https://arxiv.org/abs/1705.11097
ID  - 1705.11097
ER  -