Measuring the performance of asynchronous systems with PAFAS

DOI10.1016/J.TCS.2004.01.039MaRDI QIDQ1781997zbMATH OpenOpenAlexFDO

Authors Flavio Corradini, Walter Vogler

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/197

zbMATH Keywords

Concurrent systemsProcess algebraEfficiencyTimed testing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Modeling and Analysis of Timed Systems
• Performance of pipelined asynchronous systems
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Faster asynchronous systems.
• scientific article; zbMATH DE number 1696468

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1863169 (Why is no real title available?)
• A characterization of the minimum cycle mean in a digraph
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
• Fast asynchronous systems in dense time
• Faster asynchronous systems.
• Foundations of Software Science and Computation Structures
• Methods and applications of \((\max,+)\) linear algebra
• Testing equivalences for processes

Cited in

(7)

• High performance asynchronous design flow using a novel static performance analysis method
• Formal Modeling and Analysis of Timed Systems
• Time and Fairness in a Process Algebra with Non-blocking Reading
• Performance of pipelined asynchronous systems
• Liveness of a mutex algorithm in a fair process algebra
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Axiomatizing a fragment of PAFAS

This page was built for publication: Measuring the performance of asynchronous systems with PAFAS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1781997)