Filipe, Luís CruzLanese, IvanMartins, FranciscoRavara, AntónioVasconcelos, Vasco T.2009-02-102014-11-142009-02-102014-11-142007-12http://hdl.handle.net/10451/14225http://repositorio.ul.pt/handle/10455/2928This report studies different definitions of bisimulation within the Stream-Based Service-Centered Calculus (SSCC) and shows that both strong and weak ground bisimulation are non-input congruencesporProcess calculusbisimulationservicesreport