Prozessalgebra - Programmierung und Softwaretechnik (PST ...

6.3 Failure-Semantik 56
Zusammenfassung
Es gilt:
• £ = in der Bisimulations-Semantik ⇒ £ = in der Readiness-Semantik
• (RE1) gilt nicht allgemein in der Bisimulations-Semantik.
• £ = in der Readiness-Semantik ⇒ £ = in der Failure-Semantik
• (FA) gilt nicht allgemein in der Readiness-Semantik.
• £ = in der Failure-Semantik ⇒ £ = in der Spur-Semantik
• (TR) gilt nicht allgemein in der Failure-Semantik.
Damit ergibt sich folgender Zusammenhang der behandelten Semantiken:
Bisimulations-Semantik ✄ Readiness-Semantik ✄ Failure-Semantik ✄ Spur-Semantik.
( 1 ✄ 2 : £ = in 1 ⇒ £ = in 2, aber nicht umgekehrt,
“ 1 ist stärker differenzierend als 2”.)