Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. de Nicola
Testing Equivalences for Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalences for Truth Predicates
Review of Symbolic Logic
Mathematics
Philosophy
Logic
On Stable Homotopy Equivalences
Quarterly Journal of Mathematics
Mathematics
On Derived Equivalences for Selfinjective Algebras
Communications in Algebra
Number Theory
Algebra
Derived Equivalences for Triangular Matrix Rings
Algebras and Representation Theory
Mathematics
Homotopy Equivalences in Equivariant Topology
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Testing Capability Indices for One-Sided Processes With Measurement Errors
International Journal of Metrology and Quality Engineering
Quality
Reliability
Safety
Risk
In Situ Field Testing of Processes
