Julius, A Agungvan der Schaft, A J2023-05-222023-05-222005-12-012010-10-07https://repository.upenn.edu/handle/20.500.14332/33771We 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'.EngineeringPresentation