S. Brookes and W. Rounds. Behavioural Equivalences induced by Programming Logics. In Proceedings of ICALP `83, Springer Lecture Notes in Computer Science vol. 154, 97--108, 1983.  Home/Search   Document Not in Database   Summary   Related Articles

....P by F(P ) f(s; X) j s 2 Act X Act 9Q: P s = Q 8a 2 X: Q a 6 = g: We define failures equivalence by P f Q Delta ( F(P ) F(Q) Proposition 2.1 Failures equivalence is a congruence on guarded terms. 4 Discussion Our reason for working with failures equivalence ([BHR84, BR83]) is that it, or one of its variants such as the testing equivalences of Hennessy and De Nicola [DNH83] or the Failures Divergences model of Brookes and Roscoe [BR84] seem to be the finest equivalences which will suffice for our purposes. In particular, the realizability for the additive ....

S. Brookes and W. Rounds. Behavioural Equivalences induced by Programming Logics. In Proceedings of ICALP `83, Springer Lecture Notes in Computer Science vol. 154, 97--108, 1983.

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