Language-based performance prediction for distributed and mobile systems

DOI10.1006/INCO.2000.3058MaRDI QIDQ1854534zbMATH OpenOpenAlexFDO

Authors Corrado Priami

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL http://eprints.biblio.unitn.it/277/1/17.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A method for predictive performance of distributed programs
• An experiment in language design for distributed systems

Cites work

• scientific article; zbMATH DE number 3911691 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 836615 (Why is no real title available?)
• scientific article; zbMATH DE number 1435985 (Why is no real title available?)
• A calculus of mobile agents
• A calculus of mobile processes. II
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Causality for debugging mobile agents
• Finite Continuous Time Markov Chains
• From CML to its process algebra
• Modal logics for mobile processes
• Non-interleaving semantics for mobile processes
• Plain CHOCS. A second generation calculus for higher order processes
• Proved trees
• Reactive, generative, and stratified models of probabilistic processes
• Some congruence properties for \(\pi\)-calculus bisimilarities

Cited in

(6)

• Measuring security in IoT communications
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Modelling biochemical pathways through enhanced -calculus
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Structural operational semantics for stochastic and weighted transition systems

Describes a project that uses

Uses Software

• Pict
• Facile

This page was built for publication: Language-based performance prediction for distributed and mobile systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854534)