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

lemmy merged 12 commits into

tlaplus:mastertlaplus/Examples:masterfrom

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