Uwe Nestmann and Martin Steffen. Typing confluence, July 1995. Draft technical report. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Linearity and the Pi-Calculus - Kobayashi (1995) (85 citations) Self-citation (July) (Correct)
....to overcome this defect to some degree, the resulting analysis is difficult, and some algorithmic aspects (especially time complexity) are left open. Finally, a type system reminiscent of ours, though not explicitly incorporating the notion of linearity, has been developed by Nestmann and Steffen [NS95] for the purpose of analyzing confluence in pi calculus processes arising in the semantics of concurrent object oriented programs. The same problem has also been tackled by Liu and Walker, using purely semantic techniques [LW95] The immediate spur for our work came from a paper by Takeuchi, ....
Uwe Nestmann and Martin Steffen. Typing confluence, July 1995. Draft technical report.
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