[comp.parallel] SEMANTICS problems

chaumett@horus.Greco-Prog.fr (Serge CHAUMETTE) (05/27/91)

 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.