Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ICALP
2000
Springer

favoriteEmaildiscussreport

147views Programming Languages» more ICALP 2000»

Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System

13 years 8 months ago

Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System

Download www.fmi.uni-stuttgart.de

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

Barbara König

Real-time Traffic

Generic Type | ICALP 2000 | Milner's Sort System | Programming Languages | Type System |

claim paper

Related Content

» A Hybrid Type System for LockFreedom of Mobile Processes

» Expressiveness of Generic Process Shape Types

» PolyA True Type Polymorphism for Mobile Ambients

» Flowsensitive type systems and the ambient calculus

» Integrating Mobile Agent Infrastructures in Operational ERP Systems

» Status report hot pickles and how to serve them

» Distributed Innovation in Classes of Networks

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	ICALP
Authors	Barbara König

Comments (0)