Bisimulation Indexes And Their Applications

Elsevier Science Bv
Publication Type:
Journal Article
Theoretical Computer Science, 2002, 275 (1-Feb), pp. 1 - 68
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004761OK.pdf402.82 kB
Adobe PDF
Bisimulation expresses the equivalence of processes whose external actions are identical. Sometimes we may meet two processes which are not exactly bisimilar but more or less bisimilar in the sense that whenever a process makes an action the other can ma
Please use this identifier to cite or link to this item: