3713 search results - page 117 / 743 » Constructing a Calculus of Programs |
137
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
109
click to vote
JLP
2011
14 years 6 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
129
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
122
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
114
click to vote
CORR
2006
Springer
15 years 3 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...