Stochastic Equivalence for Performance Analysis of Concurrent Systems in dtsiPBC

Siberian Electronic Mathematical Reports - Russian Federation
doi 10.33048/semi.2018.15.144
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Sobolev Institute of Mathematics

Related search

Equivalence Notions for Concurrent Systems and Refinement of Actions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems

International Journal of Systems and Service-Oriented Engineering
2015English

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Stochastic Uncertainty Analysis for Unconfined Flow Systems

Water Resources Research
Water ScienceTechnology
2006English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automatic Trace-Based Performance Evaluation Model Building for Concurrent Distributed Systems

English

A Tool-Set for Temporal Analysis in a Design Environment for Concurrent Systems.

English

Analysis and Synthesis of Stochastic Nonlinear Systems

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy