Performance Evaluation of Mobile Processes via Abstract Machines (original) (raw)

Performance Evaluation of Mobile Processes via Abstract Machines

IEEE Transactions on Software Engineering, 2001

Abstract

AbstractWe use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labeled and we assign rates to them by only looking at these labels. The rates reflect the possibly distributed architecture on ...

Corrado Priami hasn't uploaded this paper.

Let Corrado know you want this paper to be uploaded.

Ask for this paper to be uploaded.