======Benchmarks======

Large examples from mutual exclusion protocols.\\
  * Examples in [[http://www.languageinclusion.org/CONCUR2011/|CONCUR 2011]]\\
  * Examples in [[http://www.languageinclusion.org/CAV2010/|CAV 2010]]