Comparing LOTOS and Z refinement relations

摘要

This paper compares the Z refinement relation with various LOTOS refinement relations. The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems defined by the reference model of the Open Distributed Processing (ODP) standardization initiative.