Abstract interpretation of PEPA models

DOI10.1007/978-3-319-27810-0_7MaRDI QIDQ2796221zbMATH OpenOpenAlexFDO

Authors Stephen Gilmore, Jane Hillston, Natalia Zoń

Publication date 23 March 2016

Published in Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/23233438/main.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Recommendations

• Fluid analysis for a PEPA model
• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 2087800
• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
• Application research of process algebras on performance evaluation

Cited in

(1)

• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: Abstract interpretation of PEPA models

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