Checking Finite State Machine Conformance when there are Distributed Observations

Robert M Hierons

This paper concerns state-based systems that interact with their environment at physically distributed interfaces, called ports. When such a system is used a projection of the glob…