LNCS 8049 - Theoretical Aspects of Computing – ICTAC 2013
نویسندگان
چکیده
We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We define the behaviour of a process in a rate environment using measures over the measurable space of processes induced by structural congruence. We extend the stochastic bisimulation to include the concept of rate environment and prove that this equivalence is a congruence which extends the structural congruence.
منابع مشابه
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
It sounds good when knowing the theoretical aspects of computing ictac 2004 first international colloquium guiyand china september 20 24 2004 revised selected papers in this website. This is one of the books that many people looking for. In the past, many people ask about this book as their favourite book to read and collect. And now, we present hat you need quickly. It seems to be so happy to ...
متن کاملComponent - Based Software Engineering – the Need to Link Methods and their Theories
We define some important concepts of component software development including, interfaces, contracts, interaction protocols, components, component compositions, component publication and refinement. We discuss the relations among these notions, difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to ...
متن کاملAdvances in Quantitative Verification for Ubiquitous Computing
Ubiquitous computing, where computers ‘disappear’ and instead sensor-enabled and software-controlled devices assist us in everyday tasks, has become an established trend. To ensure the safety and reliability of software embedded in these devices, rigorous model-based design methodologies are called for. Quantitative verification, a powerful technique for analysing system models against quantita...
متن کاملAn Enhanced MSS-based checkpointing Scheme for Mobile Computing Environment
Mobile computing systems are made up of different components among which Mobile Support Stations (MSSs) play a key role. This paper proposes an efficient MSS-based non-blocking coordinated checkpointing scheme for mobile computing environment. In the scheme suggested nearly all aspects of checkpointing and their related overheads are forwarded to the MSSs and as a result the workload of Mobile ...
متن کاملSurface modification of lipid nanocapsules with polysaccharides: from physicochemical characteristics to in vivo aspects.
Attaching polysaccharides to the surface of nanoparticles offers the possibility of modifying the physicochemical and biological properties of the core particles. The surface of lipid nanocapsules (LNCs) was modified by post-insertion of amphiphilic lipochitosan (LC) or lipodextran (LD). Modelling of these LNCs by the drop tensiometer technique revealed that the positively charged LC made the L...
متن کامل