Analysing Input/Output-Capabilities of Mobile Processes with a ...


Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system. Journal of Logic and Algebraic Programming, 63(1):35–58, 2005.


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.

Suggested BibTeX entry:

    author = {Barbara K{\"o}nig},
    journal = {Journal of Logic and Algebraic Programming},
    number = {1},
    pages = {35--58},
    title = {Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System},
    volume = {63},
    year = {2005}

Conference versionThis work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group