Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Process algebra for performance evaluation
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
General distributions in process algebra
Lectures on formal methods and performance analysis
Language-based performance prediction for distributed and mobile systems
Information and Computation
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A theory of stochastic systems: part II: process algebra
Information and Computation
Exploiting non-Markovian Bio-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A comparative study of STOPA and RTPA
Transactions on computational science II
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
On evaluating the performance of security protocols
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Hi-index | 0.00 |