9/4/09 Bartek Klin (Cambridge)

Observable monoidal reactive systems

How can one observe a system whose dynamics is defined by a structural congruence on process terms and a set of reaction rules? In a strong testing scenario, one's powers are: - to put a system in a known context, and - to observe that a reaction step has happened. In a weak scenario, one would want to waive the latter capability, which unfortunately leaves no possibility to observe anything about the tested system at all.

For the pi-calculus, Honda and Yoshida solved this problem by considering the notion of insensitive systems and maximal consistent theories. I shall argue that this solution does not work for reactive systems in general, and that one should instead look for observation clues in an internal structure hidden in reaction rules.