Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symmetry breaking in distributed networks
Information and Computation
Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Theoretical Computer Science
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Probabilistic symbolic model checking with PRISM: a hybrid approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Numerical vs. statistical probabilistic model checking
International Journal on Software Tools for Technology Transfer (STTT)
Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing)
Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing)
Model checking mobile stochastic logic
Theoretical Computer Science
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Approximate model checking of stochastic COWS
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
On statistical model checking of stochastic systems
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Towards a formal verification methodology for collective robotic systems
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Specifying and analysing reputation systems with a coordination language
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Network and distributed systems typically consists of a large number of actors that act and interact with each other in a highly dynamic environment. Due to the number of involved actors and their strong dependence on mobility and interaction, performance and dependability issues are of utmost importance for this class of systems. StoKlaim is a stochastic extension of Klaim specifically thought to facilitate the incorporation of random phenomena in models for network-aware computing. In this paper we show how StoKlaim can be used to specify and verify quantitative properties of distributed systems. To support the analysis an automatic tool is introduced and used.