Abstract Interpretation of PEPA Models
From MaRDI portal
Publication:2796221
DOI10.1007/978-3-319-27810-0_7zbMath1474.68050OpenAlexW2295340841MaRDI QIDQ2796221
Jane Hillston, Natalia Zoń, Stephen T. Gilmore
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)
Uses Software