3710 search results - page 14 / 742 » A new calculus of contexts |
162
click to vote
TCS
2011
15 years 1 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
167
click to vote
RTA
2007
Springer
16 years 4 days ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
126
click to vote
FMOODS
2007
15 years 7 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
162
click to vote
MRCO
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
159
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...