Language-based performance prediction for distributed and mobile systems
type: Item
instance of: scholarly article
title: Language-based performance prediction for distributed and mobile systems
zbMATH Open document ID: 1012.68115
author: Corrado Priami
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
full work available at URL: 17.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1853263
describes a project that uses: Facile
describes a project that uses: Pict
MaRDI profile type: Publication
OpenAlex ID: W2017680674
cites work: A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
cites work: Some congruence properties for \(\pi\)-calculus bisimilarities
cites work: Q3805920
cites work: Q3687696
cites work: Proved trees
cites work: Non-interleaving semantics for mobile processes
cites work: Causality for debugging mobile agents
cites work: A calculus of mobile agents
cites work: Q4861733
cites work: Finite Continuous Time Markov Chains
cites work: Q4948014
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Modal logics for mobile processes
cites work: From CML to its process algebra
cites work: Application of a stochastic name-passing calculus to representation and simulation of molecular processes
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: Reactive, generative, and stratified models of probabilistic processes
DOI: 10.1006/INCO.2000.3058
Recommended article: A method for predictive performance of distributed programs
Recommended article: An experiment in language design for distributed systems
description: scientific article; zbMATH DE number 1853263