1564 search results - page 47 / 313 » Extensions to the Estimation Calculus |
114
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
120
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
103
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
109
click to vote
ENTCS
2006
15 years 1 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
109
click to vote
ENTCS
2007
15 years 1 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...