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
BibTeX