743 search results - page 88 / 149 » A Calculus of Gamma Programs |
128
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
115
click to vote
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
113
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
121
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
111
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
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 o...