Testing Equivalences for Processes

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0036936
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Equivalences for Truth Predicates

Review of Symbolic Logic
MathematicsPhilosophyLogic
2017English

On Stable Homotopy Equivalences

Quarterly Journal of Mathematics
Mathematics
1995English

On Derived Equivalences for Selfinjective Algebras

Communications in Algebra
Number TheoryAlgebra
2006English

Derived Equivalences for Triangular Matrix Rings

Algebras and Representation Theory
Mathematics
2008English

Homotopy Equivalences in Equivariant Topology

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Testing Capability Indices for One-Sided Processes With Measurement Errors

International Journal of Metrology and Quality Engineering
QualityReliabilitySafetyRisk
2013English

In Situ Field Testing of Processes

2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy