Unique fixpoint--This approach accepts that each reaction is … i.e., that each reaction is a deterministic function … becomes difficult because it is necessary to prove … these difficulties, the Esterel language has adopted this … [See this paper for further discussion.]
Google-1
Google-2
Copyright clearance needed for quotation.