Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Barbara Koenig 
Titel:
Analysing Input/Output Capabilities of Mobile Processes with a Generic Type System 
Abstract:
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic $\pi$-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 th...    »
 
Stichworte:
pi-calculus; type system; process analysis 
Jahr:
2000 
Jahr / Monat:
2000-05-01 00:00:00 
Seiten/Umfang:
28