On the power of concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
An approach to performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Weak Bisimulation for Probabilistic Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Passage-Time Preserving Equivalence for Semi-Markov Processes
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performance Evaluation of a Software Architecture: A Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Comparative branching-time semantics for Markov chains
Information and Computation
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Formalisms for Specifying Markovian Population Models
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Trace Machines for Observing Continuous-Time Markov Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparative branching-time semantics for Markov chains
Information and Computation
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
Compositional theories of qualitative and quantitative behaviour
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Functional performance specification with stochastic probes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Measuring the speed of information leakage in mobile processes
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
Hi-index | 0.00 |