1![Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics](https://www.pdfsearch.io/img/c74b85c88dbfc1f184bc40d6915511f4.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 14:16:19
|
---|
2![FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF](https://www.pdfsearch.io/img/be90b63fd0b61978880c4c1a3011ae0d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|
3![Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA](https://www.pdfsearch.io/img/867dc5a4e47378714f101c5e2f4d5a92.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
4![Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept](https://www.pdfsearch.io/img/a37ee06590a2c38df3664c674be5c1b6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-05-20 08:33:12
|
---|
5![Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist](https://www.pdfsearch.io/img/3d59555c2cee2d4f1aaef772b947a689.jpg) | Add to Reading ListSource URL: eftychis.orgLanguage: English - Date: 2018-02-16 15:03:09
|
---|
6![Unintended Consequences Rogoff, Reinhart and Ricardian Equivalence T David Howden1 Unintended Consequences Rogoff, Reinhart and Ricardian Equivalence T David Howden1](https://www.pdfsearch.io/img/72dc004ce42ba94162746684ca51f70a.jpg) | Add to Reading ListSource URL: pricesandmarkets.orgLanguage: English - Date: 2013-12-18 21:23:22
|
---|
7![2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC](https://www.pdfsearch.io/img/a9297cfa83c0399b4d03e62ff415008c.jpg) | Add to Reading ListSource URL: testcover.comLanguage: English - Date: 2018-07-14 16:28:06
|
---|
8![510(k) SUBSTANTIAL EQUIVALENCE DETERMINATION CHECKLIST 510(k) SUBSTANTIAL EQUIVALENCE DETERMINATION CHECKLIST](https://www.pdfsearch.io/img/4eb08d0a18918f5d6b05deaf1d902822.jpg) | Add to Reading ListSource URL: www.ark-tdm.comLanguage: English - Date: 2012-10-03 00:26:42
|
---|
9![Tones and Types Michael Arntzenius, 16 May 2018 Abstract. Certain properties of maps between preorders (e.g. preserving equivalence) reduce to monotonicity with respect to an altered domain ordering. Tones and Types Michael Arntzenius, 16 May 2018 Abstract. Certain properties of maps between preorders (e.g. preserving equivalence) reduce to monotonicity with respect to an altered domain ordering.](https://www.pdfsearch.io/img/64eecb20e0c466d070e22cf13b4cd925.jpg) | Add to Reading ListSource URL: www.rntz.netLanguage: English - Date: 2018-07-25 15:09:55
|
---|
10![Parikh Equivalence and Descriptional Complexity Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy Parikh Equivalence and Descriptional Complexity Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy](https://www.pdfsearch.io/img/49d9b46e3b88ff6398178bd8010d01f5.jpg) | Add to Reading ListSource URL: pighizzini.di.unimi.itLanguage: English - Date: 2014-01-24 13:45:48
|
---|