Expressing performance issues in Web application design
Abdesselam Redouane · 2004
Server side computation is very important to the end user. It is a performance issue, which is, usually, not well realized. In this paper, we provide a calculus that helps in expressing these performance issues at the design stage. The calculus is a subset of the Pi calculus with enriched timing constructs. We provide a formal syntax, an operational semantics and a bisimulation method. To illustrate the calculus an example from the Web domain is given.