Evaluating the Efficiency of Asynchronous Systems with FASE

Details Evaluating the Efficiency of Asynchronous Systems with FASE Evaluating the Efficiency of Asynchronous Systems with FASE

2011-05-06

arxiv.org/abs/1105.1369v1

Computer Science

Logic in Computer Science

14 pages, 5 figures. A preliminary version has been presented as extended abstract in Pre-Proc. of The 1st Int. Workshop on Qu

Scientific paper

In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the applicability of FASE to concrete meaningful examples, we consider three implementations of a bounded buffer and use FASE to automatically evaluate their worst-case efficiency. We finally contrast our results with previous ones where the efficiency of the same implementations has already been considered.

Affiliated with

Also associated with

No associations

Rating

Evaluating the Efficiency of Asynchronous Systems with FASE does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Evaluating the Efficiency of Asynchronous Systems with FASE, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Evaluating the Efficiency of Asynchronous Systems with FASE will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-577257