Partial order models for quantitative extensions of LOTOS

Authors:
Ed Brinksma;Joost-Pieter Katoen;Rom Langerak;Diego Latella
Affiliations:
-;-;-;-
Venue:
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Year:
1998

Formal methods for performance evaluation

Lectures on formal methods and performance analysis
Design Validation of Embedded Dependable Systems

IEEE Micro
Action Refinement for Probabilistic Processes with True Concurrency Models

PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
A Complete Finite Prefix for Process Algebra

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Compositional Performance Modelling with TIPPtool

TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

Hi-index	0.00