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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Lars JennerGND
URN:urn:nbn:de:bvb:384-opus4-2215
Frontdoor URLhttps://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
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