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.
Aucun commentaire:
Enregistrer un commentaire