Concepedia
Publication | Closed Access
A generic type system for the Pi-calculus
122
Citations
36
References
2003
Year
EngineeringGeneric ProgrammingAutomated ReasoningType TheoryFormal MethodsGeneric Type SystemType System
Page 1