A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We introduce a generic type system for the synchronous polyadic π -calculus, allowing us to mechanise the analysis of input/output capabilities of mobile processes. The parameter of the generic type system is a lattice-ordered monoid, the elements of which are used to describe the capabilities of channels with respect to their input/output capabilities. The type system can be instantiated in order to check process properties such as upper and lower bounds on the number of processes concurrentlydoi:10.1016/j.jlap.2004.01.004 fatcat:5naijurrfzdkxlls2efswqphi4