Concurrency Theory: Lecture 14, 15 March 2018
---------------------------------------------

Zielonka's: Updating primary residues, the final construction.

Read the article for details.

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

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