3713 search results - page 217 / 743 » Constructing a Calculus of Programs |
129
click to vote
TAPSOFT
1993
Springer
15 years 7 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
130
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
114
Voted
ENTCS
2008
15 years 3 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
110
Voted
ENTCS
2007
15 years 3 months ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
135
Voted
ENTCS
2007
15 years 3 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...