Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
slin [2012/03/05 11:47] losa |
slin [2012/03/05 11:47] losa |
||
---|---|---|---|
Line 5: | Line 5: | ||
Our automata specification can be found in the Archive of Formal Proof at the following URL: | Our automata specification can be found in the Archive of Formal Proof at the following URL: | ||
- | [[http://afp.sourceforge.net/entries/Abortable_Linearizable_Modules.shtml|ALM entry of the AFP]] | + | [[http://afp.sourceforge.net/entries/Abortable_Linearizable_Modules.shtml|Abortable Linearizable Modules in the AFP]] |
===== Trace-Based Specification in Isabelle/HOL ===== | ===== Trace-Based Specification in Isabelle/HOL ===== |