Robin Milner. Communication and Concurrency. Prentice Hall Europe, 1989. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Towards Automatic Bisimilarity Checking in the Spi Calculus - Elkjær, Höhle, Nielsen.. (1999) (1 citation) (Correct)
....Therefore it is necessary to find other, more tractable notions of equivalence which imply testing equivalence. Various notions of bisimilarity, defined by Park [Par81] are popular candidates. Strong bisimilarity was the important notion of behavioural equivalence in Milner s work on CCS[Mil89] and various versions of bisimilarity have since been defined for the calculus[Mil91] A major advantage of using bisimilarity is that its very definition allows one to prove equivalence by means of a coinductive technique: if you want to show that two processes are equivalent, it is enough to ....
Robin Milner. Communication and Concurrency. Prentice Hall Europe, 1989.
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