Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
bench [2018/01/31 10:44] yufang |
bench [2018/01/31 10:44] (current) yufang |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| Large examples from mutual exclusion protocols.\\ | Large examples from mutual exclusion protocols.\\ | ||
| - | Examples in [[http://www.languageinclusion.org/CONCUR2011/|CONCUR 2011]]\\ | + | * Examples in [[http://www.languageinclusion.org/CONCUR2011/|CONCUR 2011]]\\ |
| - | Examples in [[http://www.languageinclusion.org/CAV2010/|CAV 2010]] | + | * Examples in [[http://www.languageinclusion.org/CAV2010/|CAV 2010]] |