Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
slin [2012/03/05 11:47] losa |
slin [2012/03/29 10:54] 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 ===== | ||
| Line 17: | Line 17: | ||
| ===== Technical Report ===== | ===== Technical Report ===== | ||
| - | [[http://infoscience.epfl.ch/record/170038?ln=en|Technical Report]] | + | [[http://infoscience.epfl.ch/record/170038?ln=en|Technical Report at infoscience.epfl.ch]] |
| {{slin:main.pdf|Fulltext}} | {{slin:main.pdf|Fulltext}} | ||