Xinxin Liu and David Walker. A polymorphic type system for the polyadic -calculus. In CONCUR '95: Concurrency Theory, pages 103--116. Springer, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
Behavioural Types for a Calculus of Concurrent Objects - Ant'onio Ravara Vasco (1997) (11 citations) (Correct)
Some Type Systems for the Pi Calculus - Gay (1999) (4 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (49 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (49 citations) (Correct)
Name Matching v.s. Structure Matching in Typing Systems for the.. - Togashi (Correct)
Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (85 citations) (Correct)
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