Concurrency Theory: Lecture 16, 18 March 2017
---------------------------------------------

Zielonka's: Updating primary residues, the final construction

Note --- updating primary residues needs consistent labelling upto secondary information.

======================================================================