<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Differential Bisimulation for a Markovian Process Algebra"^^ . "Formal languages with semantics based on ordinary differential equations (ODEs) have emerged as a useful tool to reason about large-scale distributed systems. We present differential bisimulation, a behavioral equivalence developed as the ODE counterpart of bisimulations for languages with probabilistic or stochastic semantics. We study it in the context of a Markovian process algebra. Similarly to Markovian bisimulations yielding an aggregated Markov process in the sense of the theory of lumpability, differential bisimulation yields a partition of the ODEs underlying a process algebra term, whereby the sum of the ODE solutions of the same partition block is equal to the solution of a single (lumped) ODE. Differential bisimulation is defined in terms of two symmetries that can be verified only using syntactic checks. This enables the adaptation to a continuous-state semantics of proof techniques and algorithms for finite, discrete-state, labeled transition systems. For instance, we readily obtain a result of compositionality, and provide an efficient partition-refinement algorithm to compute the coarsest ODE aggregation of a model according to differential bisimulation."^^ . "2015" . "9234" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . "Giulio"^^ . "Iacobelli"^^ . "Giulio Iacobelli"^^ . . . . . "HTML Summary of #3063 \n\nDifferential Bisimulation for a Markovian Process Algebra\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .