2272 search results - page 95 / 455 » A Calculus for |
131
Voted
FORTE
1992
15 years 5 months ago
1992
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
148
click to vote
ENTCS
2008
15 years 4 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
144
Voted
ENTCS
2008
15 years 4 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
133
Voted
ENTCS
2007
15 years 3 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
104
click to vote
JACM
2007
15 years 3 months ago
2007
We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where e...