Login / Signup

Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA.

May Thu AungTam Thi Thanh NguyenKazuhiro Ogata
Published in: ICSCA (2018)
Keyphrases
  • mutual exclusion
  • statistical analysis
  • formal analysis
  • information systems
  • data analysis
  • image analysis
  • lightweight
  • orders of magnitude
  • formal specification