Login / Signup
Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA.
May Thu Aung
Tam Thi Thanh Nguyen
Kazuhiro Ogata
Published in:
ICSCA (2018)
Keyphrases
</>
mutual exclusion
statistical analysis
formal analysis
information systems
data analysis
image analysis
lightweight
orders of magnitude
formal specification