Sciweavers

69
Voted
ICALP
2000
Springer
15 years 15 days ago
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
Barbara König