Performance of pipelined asynchronous systems

DOI10.1016/j.jlap.2006.08.005zbMath1106.68072OpenAlexW2039671145MaRDI QIDQ864507

Walter Vogler, Flavio Corradini

Publication date: 9 February 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.08.005

zbMATH Keywords

concurrent systemsefficiencyprocess algebracompositionalitytimed testing

Mathematics Subject Classification ID

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

Uses Software

• LOTOS

Cites Work

• Unnamed Item
• Unnamed Item
• Bisimulation on speed: Worst-case efficiency
• Testing equivalences for processes
• Faster asynchronous systems.
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Measuring the performance of asynchronous systems with PAFAS
• Methods and applications of (max,+) linear algebra
• Bisimulation on speed: Lower time bounds
• Fast asynchronous systems in dense time

This page was built for publication: Performance of pipelined asynchronous systems