Sciweavers

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

10

CONCUR
2009
Springer

favoriteEmaildiscussreport

126views Distributed And Parallel Com...» more CONCUR 2009»

Contracts for Mobile Processes

13 years 11 months ago

Contracts for Mobile Processes

Download www.pps.jussieu.fr

Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on session types, which are inhabited by channels, or on contracts, which are inhabited by processes. Current session type theories impose overly restrictive disciplines while contract theories only work for networks with ﬁxed topology. Here we ﬁll the gap between the two approaches by deﬁning a theory of contracts for so-called mobile processes, those whose communications may include delegations and channel references.

Giuseppe Castagna, Luca Padovani

Real-time Traffic

CONCUR 2009 | Distributed And Parallel Computing | Session Type | Session Type Theories | So-called Mobile Processes |

claim paper

Related Content

» SecuritybyContract Toward a Semantics for Digital Signatures on Mobile Code

» Translating business contract into compliant business processes

» Extending SecuritybyContract with Quantitative Trust on Mobile Devices

» Multiparty Contracts Agreeing and Implementing Interorganizational Processes

» Nested Java processes OS structure for mobile code

» An econtracting reference architecture

» Electronic contract negotiation as an application niche for mobile agents

» An Optimal Contracting Strategy in a Digital Library

» Compliance checking between business processes and business contracts

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	CONCUR
Authors	Giuseppe Castagna, Luca Padovani

Comments (0)