<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Scalable differential analysis of process algebra models"^^ . "The exact performance analysis of large-scale software systems with discrete-state approaches is difficult because of the well-known problem of state-space explosion. This paper considers this problem with regard to the stochastic process algebra PEPA, presenting a deterministic approximation to the underlying Markov chain model based on ordinary differential equations. The accuracy of the approximation is assessed by means of a substantial case study of a distributed multithreaded application."^^ . "2012-01" . "38" . "1" . . "IEEE Computer Society"^^ . . . "IEEE Transactions on Software Engineering"^^ . . . "00985589" . . . . . . . . . . . . . "Stephen"^^ . "Gilmore"^^ . "Stephen Gilmore"^^ . . "Jane"^^ . "Hillston"^^ . "Jane Hillston"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . . "HTML Summary of #2601 \n\nScalable differential analysis of process algebra models\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .