A unified framework for differential aggregations in Markovian process algebra
نویسندگان
چکیده
منابع مشابه
A unified framework for differential aggregations in Markovian process algebra
Article history: Received 19 February 2014 Received in revised form 28 October 2014 Accepted 28 October 2014 Available online 4 November 2014
متن کامل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. Similarl...
متن کاملExtended Differential Aggregations in Process Algebra for Performance and Biology
We study aggregations for ordinary differential equations induced by fluid semantics for Markovian process algebra which can capture the dynamics of performance models and chemical reaction networks. Whilst previous work has required perfect symmetry for exact aggregation, we present approximate fluid lumpability, which makes nearby processes perfectly symmetric after a perturbation of their pa...
متن کاملA fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional ap-proach to the performance modelling of complex systems. However, the models generated by process alge-bras, as with other interleaving formalisms, are susceptible to the state space explosion problem. Modelswith only a modest number of process algebra terms can easily generate so ma...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2014.10.004