<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Differential Analysis of Interacting Automata with Immediate Actions"^^ . "The stochastic modelling of software systems with activities of durations that are separated by many orders of magnitude typically leads to numerical complications, due to stiffness. To avoid explicit state-space generation-a prerequisite to tackle this problem via suitable manipulations or aggregations-in this paper we present an accurate and scalable fluid approximation. It is expressed as a compact piecewise linear system of ordinary differential equations, which have discontinuous right-hand sides as a result of the incorporation of immediateness. We study the nature of this approximation in a general high-level framework of interacting automata. On a case study of client/server interaction, our approach is ca two times faster than the analysis conducted on the stiff equations where immediate actions are explicitly modelled."^^ . "2013" . . "ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)"^^ . . "ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)"^^ . . . . . . . . . . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . "Luca"^^ . "Bortolussi"^^ . "Luca Bortolussi"^^ . . . . "Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools"^^ . . . . . "Torino"^^ . . . . . "HTML Summary of #2962 \n\nDifferential Analysis of Interacting Automata with Immediate Actions\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .