Measuring the performance of asynchronous systems with PAFAS
type: Item
instance of: scholarly article
title: Measuring the performance of asynchronous systems with PAFAS
zbMATH Open document ID: 1080.68076
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/197
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2174876
zbMATH Keywords: Concurrent systems
zbMATH Keywords: Process algebra
zbMATH Keywords: Timed testing
zbMATH Keywords: Efficiency
author: Flavio Corradini
author: Walter Vogler
MaRDI profile type: Publication
OpenAlex ID: W2040581864
cites work: Comparing the worst-case efficiency of asynchronous systems with PAFAS
cites work: Testing equivalences for processes
cites work: Methods and applications of (max,+) linear algebra
cites work: Fast asynchronous systems in dense time
cites work: A characterization of the minimum cycle mean in a digraph
cites work: Q4791840
cites work: Foundations of Software Science and Computation Structures
cites work: Q3126969
cites work: Q3992568
cites work: Faster asynchronous systems.
cites work: Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
DOI: 10.1016/J.TCS.2004.01.039
description: scientific article; zbMATH DE number 2174876