Give an example showing how the universal construction can fail for objects with nondeterministic sequential specifications. Propose a way to fix the universal construction of Fig.6.8to work for...

Give an example showing how the universal construction can fail for objects with nondeterministic sequential specifications.

Propose a way to fix the universal construction of Fig.6.8to work for objects with nondeterministic sequential specifications.