Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close - Makholm, Henning; Wells, J. B. (Lecture notes in computer science, 2005)
Keywords: Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Message Type; Process Term; Programming languages; Reduction Rule; Software; Type Inference; Type System; Type theory; pi calculus; Ambient calculus; Coordination language; Typing; Programming language; Mobile agent; Mobile computing; Polymorphism