Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Stochastic process algebras—between LOTOS and Markov chains
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Automated compositional Markov chain generation for a plain-old telephone system
Science of Computer Programming
Compositional performance modelling with the TIPPtool
Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Communication and Concurrency
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A property based specification formalism classification
Journal of Systems and Software
Hi-index | 0.00 |
Designing hardware/software systems in the traditional way we clearly separate methods for the functional design and performance evaluation. Beside many merits the well known insularity-problem is one of the consequences. Therefore, in system engineering we see a clear trend towards an integral treatment of both aspects.We briefly summarize research results obtained during the last decade by embedding stochastic processes into process algebras, an advanced concept for the design of parallel and distributed systems. The central objective of these Stochastic Process Algebras is the modular and hierarchical modelling and analysis of complex systems. A general introduction and related references from different research groups may be found in [1, 2].