We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in teh field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A II B and A' II B are also bisimilar. Here, the operator II denotes systems with composition, and B is any other system that is composed with A or A'.
Date of this Version
Date Posted: 12 October 2010
This document has been peer reviewed.