Communication and concurrency
A New Mathematical Notation for Describing Notion and Thought in Software Design
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
CCS + Time = An Interleaving Model for Real Time Systems
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
Hi-index | 0.00 |
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.