Add German cache-coherence protocol example (Murphi > TLA+)#214

lemmy wants to merge 3 commits into

tlaplus:mastertlaplus/Examples:masterfrom

lemmy:mku-germanlemmy/Examples:mku-germanCopy head branch name to clipboard