- edoc-Server Home
- Browsing by Author
Browsing by Author "Wu, Bixia"
Now showing items 1-2 of 2
-
2007-01-01BuchEntwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung Hohberg, Bodo; Reisig, Wolfgang; Wu, BixiaUm Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...
-
2007-07-12DissertationEntwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen Wu, BixiaUm Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...