Measuring concurrency of regular distributed computations

DOI10.1007/3-540-59293-8_230MaRDI QIDQ5096760zbMATH OpenOpenAlexFDO

Authors Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_230

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Markovian concurrency measure
• Measure of parallelism of distributed computations
• scientific article; zbMATH DE number 125889
• scientific article; zbMATH DE number 3870604
• Publication:4896252

Cites work

• scientific article; zbMATH DE number 4058844 (Why is no real title available?)
• scientific article; zbMATH DE number 139793 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• On-line computations of the ideal lattice of posets
• Reachability analysis on distributed executions
• Time, clocks, and the ordering of events in a distributed system

Cited in

(9)

• Coupling coefficients of a distributed execution
• Concurrency model for distributed systems
• A Markovian concurrency measure
• scientific article; zbMATH DE number 5526622 (Why is no real title available?)
• scientific article; zbMATH DE number 17542 (Why is no real title available?)
• scientific article; zbMATH DE number 125889 (Why is no real title available?)
• Convergence testing on a distributed network of processors
• scientific article; zbMATH DE number 936824 (Why is no real title available?)
• Measure of parallelism of distributed computations

This page was built for publication: Measuring concurrency of regular distributed computations

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