König, Barbara:
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
In: Proceedings of the 27th International Colloquium of Automata, Languages and Programming, ICALP '00. - (Lecture Notes in Computer Science ; 1853) - Berlin [u.a.]: Springer, 2000, S. 403 - 414
Buchaufsatz/Kapitel in Sammelwerk2000Informatik
Titel:
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
Autor(in):
König, BarbaraLSF
Erscheinungsjahr
2000
WWW URL

Abstract:

We introduce a generic type system for the synchronous polyadic $\pi$-calculus, allowing us to mechanize 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-cabilities. 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.