Bisimilarity and Simulatability of Processes Parameterized by Join Interactions

Clemens Grabmayer, Maurizio Murgia

Departing from Larsen's concept of parameterized bisimilarity of processes with respect to interaction with environments, we start an exploration of its natural weakening: bisimila…