AXIOMATISIERUNG VON "BRANCHING BISIMULATION" MIT DIVERGENZ (ABGESCHLOSSEN)
 | ||
|
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)
Title der Arbeit
Axiomatisierung von "Branching Bisimulation" mit Divergenz
Inhalt
In dieser Arbeit wird versucht, die Ergebnisse aus [LOH02] von 'Weak Bisimulation' (WB) auf die feinere 'Branching Bisimulation' (BB) zu erweitern. Es geht dabei um eine Axiomatisierung der durch BB auf Milner's CCS induzierten Kongruenz unter Berücksichtigung einiger einschlägiger Arten von Divergenz. Zunächst wird untersucht, welche der Axiome fuer WB bezueglich BB korrekt sind, und inwiefern sie eventuell verfeinert werden müssen. Daran anschliessend wird eine Strategie für den erforderlichen Vollstaendigkeitsbeweis erarbeitet.
Voraussetzungen
Keine
Status
Abgeschlossen
Kontakt
Verwiese
 | [LOH02] Lohrey, D'Argenio, Hermanns. Axiomatising Divergence. ICALP 2002, LNCS 2380. |