Analysing input/output-capabilities of mobile processes with a generic type system

7Citations
Citations of this article
14Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We introduce a generic type system (based on Milner’s sort system) for the synchronouspolyadic π-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 active channels, confluence and absence of blocked processes.

Cite

CITATION STYLE

APA

König, B. (2000). Analysing input/output-capabilities of mobile processes with a generic type system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1853, pp. 403–414). Springer Verlag. https://doi.org/10.1007/3-540-45022-x_34

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free