I. Phillips. Refusal testing. Theoretical Computer Sci., 50:241--284, 1987. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Transformational Design and Implementation Of A New Efficient.. - Bloom, Paige (1995) (25 citations) (Correct)
....equivalence. For example, a process that simply performs an action a and then stops ought to be the same as one that has several different ways of doing a s and then stopping, since one a or stopped process is the same as another. A wide variety of notions of equivalence have been proposed, e.g.[28,31,20,5,21,27,41], appropriate for different kinds of process algebras and conceptual settings. Process equivalences can be partially ordered by fineness: finer notions make more distinctions between processes; coarser ones consider more processes identical. Both fine and coarse notions are useful in theory and ....
I. Phillips. Refusal testing. Theoretical Computer Sci., 50:241--284, 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC