Abstract | ||
---|---|---|
The main result of the paper is a constructive proof of the following equivalence: twopure -terms are observationally equivalent in the lazy concurrent -calculus iff theyhave the same L'evy-Longo trees. An algorithm which allows to build a context discriminatingany two pure -terms with different L'evy-Longo trees is described. It follows thatcontextual equivalence coincides with behavioural equivalence (bisimulation) as consideredby Sangiorgi. Another consequence is that the... |
Year | DOI | Venue |
---|---|---|
1999 | 10.1006/inco.1998.2773 | Information & Computation |
Keywords | DocType | Volume |
parallel observer | Journal | 150 |
Issue | ISSN | Citations |
2 | Information and Computation | 7 |
PageRank | References | Authors |
0.52 | 20 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mariangiola Dezani-Ciancaglini | 1 | 1615 | 193.57 |
Jerzy Tiuryn | 2 | 1210 | 126.00 |
Paweł Urzyczyn | 3 | 85 | 7.58 |