le prochaine seminaire PPS est
Jeudi 9 Avril,
11h, salle 0C2:
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.
