König, Barbara:
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
2005
In: Journal of Logic and Algebraic Programming, Jg. 63 (2005), Heft 1, S. 35 - 58
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2005
Erschienen in:
Journal of Logic and Algebraic Programming, Jg. 63 (2005), Heft 1, S. 35 - 58
ISSN:
ISSN:
Signatur der UB:
Link URL:

Abstract:

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 concurrently using a channel, confluence and absence of blocked processes.