• Keine Ergebnisse gefunden

Aufgabe 2: Äquivalenzen (45%)

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Aufgabe 2: Äquivalenzen (45%)"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Übungen zur Vorlesung Theorie reaktiver Systeme WS 07/08

AG Betriebssysteme FB3 Ulrich Hannemann Abgabe: 28.11.2007

Übungszettel 2

Aufgabe 1: Relationen (25%)

%1und%2seien Bisimulationsrelationen überCSP×CSP. Zeigt, dass dann auch%1∪%2eine Bisimulati- onsrelation ist.

Aufgabe 2: Äquivalenzen (45%)

Beweist die folgenden Bisimilaritäten von CSP – Prozessen.

1. P2STOP ∼BS P.

2. STOP;P ∼BS STOP.

3. (P1uP2) ;P3 ∼BS (P1;P3)u(P2;P3).

Aufgabe 3: Komposition (30%)

PndP0seien bisimilar, alsoP ∼BS P0. Zeigt, dass dann auch

•P; Q ∼BS P0; Q und

•P2Q ∼BS P0 2Q gelten.

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 62.36 KB )

ÄHNLICHE DOKUMENTE

im Wintersemester 2006/07 Betriebssysteme Probeklausur zur Vorlesung

Zeichnen Sie nun in die nachfolgenden Weg-Zeit-Diagramme ein, welcher Auftrag zu welchem Zeit- punkt unter der jeweiligen Strategie ausgeführt wird. Zu jedem Zeitpunkt, beginnend mit

Übungen zur Vorlesung Einführung in Dynamische Systeme Aufgabenblatt 2

Finden Sie zu jedem der folgenden Flüsse eine Differentialgleichung, deren Lösungen die Flussorbits sind:. (1) ϕ t (( x

Übungen zur Vorlesung Dynamische Systeme

[r]

Übungen zur Vorlesung Dynamische Systeme Blatt 2

a) Zeigen Sie: Die Hausdorff-Dimension einer Vereinigung ist das Maximum der Hausdorff-Dimensionen der

Übungen zur Vorlesung Dynamische Systeme

Konstruieren sie einen kompakten metrischen Raum ( X, d ) und einen topologisch transitiven, expansiven Homöomorphismus f : X → X, so dass es mehrere ver- schiedene Maße mit

Seminarvortrag zur Astrophysik WS 07/08

● an Bord befinden sich das LAT (Large Area Teleskop) und der GBM (Glast Burst Monitor). ● voraussichtlicher Start im

Lösung KLR-Klausur WS 07/08 Aufgabe 1

Primäre Kosten entstehen durch den Verbrauch von von außerhalb des Unternehmens bezogenen Gütern und Dienstleistungen.. Sekundäre Kosten entstehen durch den Verbrauch von innerhalb

Theoretische Physik E im WS 07/08 Ubungsblatt 2 ¨

Zun¨ achst muss das Potential an den Schnittpunkten der Bereiche (also hier bei a und b) einigermaßen linear verlaufen, was hier auch der Fall ist... Auch in Aufgabe 3 findet man