Newsgroups: fr.announce.seminaires Distribution: fr To: fr-sem@frmug.org From: Didier.Remy@inria.COUPER-CECI.fr Organization: INRIA-Rocquencourt Subject: SEM - INRIA : Mosvova - 17/03/00 - Paris - FR http://pauillac.inria.fr/bin/calendar/Seminaires S E M I N A I R E ____ ____ . / _ _ / ___ __ /_ _ / /| /| _ __ __ _ _ / / \ / \ _ / / / /_ / __| / _ / |/ | / \ /_ / / \ | / __| |___ |_/ |_/ |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ / / I N R I A - Rocquencourt, Salle de conference du Bat 11 Vendredi 17 mars, 10h30 --------------- James J. Leifer --------------- Cambridge University ========================================= Bisimulation congruences by general magic ========================================= I'll show some work-in-progress on deriving labelled transitions from reaction rules and prove that the resulting strong and weak bisimulation is a congruence. The derivation is applicable to all reactive systems whose agent contexts satisfy certain simple properties.