Approximate analyzing of labeled transition systems

DOI10.1155/2015/963597zbMath1394.68259OpenAlexW2113286936WikidataQ59120076 ScholiaQ59120076MaRDI QIDQ1667079

Jinzhao Wu, Qiong Yu, Shihan Yang

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/963597

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Wavelet based ILU preconditioners for the numerical solution by PUFEM of high frequency elastic wave scattering
• Preconditioning techniques for the solution of the Helmholtz equation by the finite element method
• Regions of Petri nets with a/sync connections
• Branching bisimulation congruence for probabilistic systems
• Representing probability measures using probabilistic processes
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
• A calculus of communicating systems
• Towards a cost-effective ILU preconditioner with high level fill
• Bisimilar linear systems.
• Exploring probabilistic bisimulations. I
• Inherited LU factorization for solving fuzzy system of linear equations
• Schedulability of asynchronous real-time concurrent objects
• Process Algebra
• A class of first order factorization methods
• Application of Sparse Matrix Solvers as Effective Preconditioners
• Iterative Solution Methods
• A quantitative doxastic logic for probabilistic processes and applications to information-hiding
• An Approximate Factorization Procedure for Solving Self-Adjoint Elliptic Difference Equations
• Conformance tests for real-time systems with timed automata specifications

This page was built for publication: Approximate analyzing of labeled transition systems