inital-verzweigungsbisimilar und verzweigungsbisimilar
2006-11-28 16:05
MB
habe gerade das skript studiert und versucht mir diese beiden
relationen zu veranschaulichen, habe das aber nicht ganz verstanden.
ich habe das so verstanden, dass das tau bei initial-verzweigungssimilar
etwas "initiert". aber ich habe das noch nicht ganz auf dem schirm.
danke für alle hilfsbereiten erklärungen.
relationen zu veranschaulichen, habe das aber nicht ganz verstanden.
ich habe das so verstanden, dass das tau bei initial-verzweigungssimilar
etwas "initiert". aber ich habe das noch nicht ganz auf dem schirm.
danke für alle hilfsbereiten erklärungen.