Modelling parallel databases with process algebra

DOI10.1016/S0167-8191(00)00059-4zbMath0948.68122OpenAlexW2075939805WikidataQ127705929 ScholiaQ127705929MaRDI QIDQ1583384

D. H. Marwick, C. S. Pua, M. Howard Williams

Publication date: 26 October 2000

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-8191(00)00059-4

zbMATH Keywords

process algebraPEPAperformance modelling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• PEPA

This page was built for publication: Modelling parallel databases with process algebra