Communicating sequential processes
Communicating sequential processes
A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Scalable Differential Analysis of Process Algebra Models
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |