H. Makholm, J. B. Wells. Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. Technical Report HW-MACS-TR-0022, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
H. Makholm, J. B. Wells. Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. Technical Report HW-MACS-TR-0022, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
H. Makholm, J. B. Wells. Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. Technical Report HW-MACS-TR-0022, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Henning Makholm and J. B. Wells. Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. In Programming Languages & Systems, 14th European Symp. Programming, Lecture Notes in Computer Science. Springer, 2005. A more detailed predecessor is [MW04a].
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Henning Makholm and J. B. Wells. Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close. Technical Report HW-MACSTR -0022, Heriot-Watt Univ., School of Math. & Comput. Sci., November 2004. A shorter successor is [MW05a].
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