Exemple discutate la prima ședintă de proiect
arbiter.smv Un arbitru sincron
bad-arbiter.smv Același arbitru cu o eroare
mutex-async.smv Excluziune mutuală
(model asincron)
mutex-sync.smv Excluziune mutuală
(model sincron)
short.smv Exemplul canonic introductiv
marius@cs.utt.ro