Xref: utzoo comp.parallel:2594 comp.theory:2044
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!gatech!hubcap!fpst
From: chaumett@horus.Greco-Prog.fr (Serge CHAUMETTE)
Newsgroups: comp.parallel,comp.theory
Subject: SEMANTICS problems
Message-ID: <3287@geocub.UUCP>
Date: 27 May 91 13:40:46 GMT
Sender: news@geocub.UUCP
Reply-To: chaumett@horus.Greco-Prog.fr (Serge CHAUMETTE)
Organization: LaBRI
Lines: 20
Approved: parallel@hubcap.clemson.edu




 I am not sure this is the right place for my question, but
it seems to be the best.

 I would like to have some explanation about a couple of semantics
problems:

 1) Could someone explain or send me a pointer towards a paper
    where I could find an explanation on how Milner in his paper
    on SCCS passes from the ``classicall definition''
    of weak bisimulation with any length transition sequences
    to sequences of length <= 1 ?

 2) Could someone say me if the induction principle found in Boudol's paper
    ``Algebre de processus et synchronisation'' can be extended
    to bisimulations not based on an observable (I am thinking of the above (1)
    definition) ? (I am sure it can, but ...)

 s.c.