Modular Construction of Fast Asynchronous Systems
- A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case efficiency of asynchronous systems using dense time. It is shown that one can equivalently use discrete time, and the resulting testing-preorder is characterized with some kind of refusal traces which are easier than a previous variant. Furthermore, the testing-preorder is refined to a precongruence for standard operators known from process algebras. Beside the usual complications with the choice operator, it turns out that even the prefix operation requires a refinement. Finally, the testing-preorder is compared to those gained from previous approaches.
| Author: | Lars JennerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-2215 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/270 |
| Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (1996-02) |
| Type: | Report |
| Language: | English |
| Date of Publication (online): | 2006/06/22 |
| Year of first Publication: | 1996 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2006/06/22 |
| GND-Keyword: | Nebenläufigkeit; Effizienzmessung |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
