Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
Model checking
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
How Expressive Are LOTOS Behaviour Expressions?
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Software Tools for DNA Sequence Design
Genetic Programming and Evolvable Machines
Probabilistic temporal logics for finite and bounded models
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
A self-organising solution to the collective sort problem in distributed tuple spaces
Proceedings of the 2007 ACM symposium on Applied computing
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking mobile stochastic logic
Theoretical Computer Science
Factoring User Experience into the Design of Ambient and Mobile Systems
Engineering Interactive Systems
Theoretical Computer Science
A framework for modelling and implementing self-organising coordination
Proceedings of the 2009 ACM symposium on Applied Computing
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
On the collective sort problem for distributed tuple spaces
Science of Computer Programming
On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Towards a Logic for Performance and Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Probabilistic linda-based coordination languages
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
On specification and verification of location-based fault tolerant mobile systems
Rigorous Development of Complex Fault-Tolerant Systems
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architecture configuration are key issues. In this paper we propose STOCKLAIM, a STOchastic extension of cKLAIM, the core subset of KLAIM. cKLAIM includes process distribution, process mobility, and asynchronous communication. The extension makes it possible to integrate the modeling of quantitative aspects of mobile systems--- e.g. performance---with the functional specification of such systems. We present a formal operational semantics of STOcKLAIM, which associates a labeled transition system to each STOcKLAIM network and a translation to Continuous Time Markov Chains for quantitative analysis. We also show how STOcKLAIM can be used by means of a simple example, i.e. the modeling of the spreading of a virus.