How to Make Substitution Preserve Strong Bisimilarity

Titel:: How to Make Substitution Preserve Strong Bisimilarity
Dokumenttyp:: Technical Report
Autor(en):: Christine Roeckl
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
BibTeX

Vorkommen: