Results 271 to 280 of about 256,327 (314)
Observation equivalence as a testing equivalence
Theoretical Computer Science, 1987 A notion of testing is developed for transition systems with divergence. The forms of testing include traces, refusals, copying and global testing. Both denotational and operational formulations of testing are given. The equivalence based on this notion of testing is shown to coincide with observation equivalence.
Samson Abramsky
exaly +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Testing equivalence as a bisimulation equivalence
Formal Aspects of Computing, 1990Abstract In this paper we show how the testing equivalences and preorders on transition systems may be interpreted as instances of generalized bisimulation equivalences and prebisimulation preorders. The characterization relies on defining transformations on the transition systems in such a way that the testing relations on the original ...
Rance Cleaveland, Matthew Hennessy
openaire +1 more source
Theoretical Computer Science, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yunong Zhang +4 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yunong Zhang +4 more
openaire +2 more sources
An Equivalence‐Theoretic Equivalent of the Axiom of Choice
Mathematical Logic Quarterly, 1986Representability of unary partial operations by equivalence relations as introduced by the author [Z. Math. Logik Grundlagen Math. 29, 569-571 (1983; Zbl 0509.08002)] is shown to be equivalent to the axiom of choice.
openaire +2 more sources
Equivalence and Non-equivalence in Parallel Corpora
International Journal of Corpus Linguistics, 2001The present paper shows how an aligned parallel corpus can be used to investigate the consistency of translation equivalence across the two languages in a parallel corpus. The particular issues addressed are the bidirectionality of translation equivalence, the coverage of multiword units, and the amount of implicit knowledge presupposed on the part of ...
Tamás Váradi, Gábor Kiss
openaire +1 more source
International Economic Review, 1988
The paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by \({\mathcal L}_{\infty}\)-commodity space, and provides a simple proof of the equivalence of equilibria in complete markets, incomplete markets with sequential trading, and incomplete markets with one-shot trades in single ...
openaire +1 more source
The paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by \({\mathcal L}_{\infty}\)-commodity space, and provides a simple proof of the equivalence of equilibria in complete markets, incomplete markets with sequential trading, and incomplete markets with one-shot trades in single ...
openaire +1 more source
α-equivalence: a refinement of Kakutani equivalence
Ergodic Theory and Dynamical Systems, 1994AbstractFor a fixed irrational α > 0 we say that probability measure-preserving transformationsSandTare α-equivalent if they can be realized as cross-sections in a common flow such that the return time functions on the cross-sections both take values in {1, 1 +α} and have equal integrals.
Fieldsteel, Adam +2 more
openaire +1 more source
Fuzzy equivalence relations and their equivalence classes
Fuzzy Sets and Systems, 2007The authors investigate various properties of equivalence classes of fuzzy equivalence relations over a complete residuated lattice, and give certain characterizations of fuzzy semi-partitions and fuzzy partitions over a complete residuated lattice, as well as over a linearly ordered complete Heyting algebra.
Miroslav Ciric 0001 +2 more
openaire +2 more sources
GENERIC EQUIVALENCE AND NON-EQUIVALENCE OF DRUGS
The Lancet, 1972Abstract Bioavailability studies of some generic drug products reveal differences which imply possible fluctuations in therapeutic effect. There is an urgent need to pursue clinical and pharmacokinetic measurements of relative absorption efficiency of those drugs where consistent potency is essential.
openaire +2 more sources
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 2001
start from John Norton's analysis (1985) of the reach of Einstein's version of the principle of equivalence which is not a local principle but an extension of the relativity principle to reference frames in constant acceleration on the background of Minkowski spacetime.
Ghins, Michel, Budden, Tim
openaire +1 more source
start from John Norton's analysis (1985) of the reach of Einstein's version of the principle of equivalence which is not a local principle but an extension of the relativity principle to reference frames in constant acceleration on the background of Minkowski spacetime.
Ghins, Michel, Budden, Tim
openaire +1 more source