Integrating Behavioural and Performance Analysis with Topology Information

Authors:
Corrado Priami
Affiliations:
-
Venue:
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
Year:
1996

Citing 0
Cited 3

Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Language-based performance prediction for distributed and mobile systems

Information and Computation
A Semiring-based Quantitative Analysis of Mobile Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

a We consider pi-calculus, a model of concurrent processes based on the notion of naming, extended with probabilistic information. The new language is an evolution of CSP-like stochastic process algebra that we call stochastic pi-calculus. Furthermore, we integrate the semantic description of the language with topology information expressed through axioms. The new formalism is suitable to study behavioral and performance property of distributed systems. In particular, we can compare different allocations of systems on a fixed network architecture with respect to expected performance.