Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Christine Roeckl 
Titel:
How to Make Substitution Preserve Strong Bisimilarity 
Abstract:
We show that strong bisimilarity of $CCS$ processes without summation and relabelling is preserved by any substition modulo the maintenance of internal channels, if the processes bear unique input locations. By this we understand a syntactic means of preventing that substitutions, which are in general not injective, cause synchronisation in one but not in the other of two originally bisimilar processes. 
Stichworte:
Strong Bisimilarity; Substitution; Unique Input Locations 
Jahr:
1997 
Jahr / Monat:
1997-04-18 00:00:00 
Seiten/Umfang:
18