650 search results - page 5 / 130 » Logical Bisimulations and Functional Languages |
67
Voted
PADL
1999
Springer
15 years 2 months ago
1999
Springer
64
Voted
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
110
Voted
POPL
1997
ACM
15 years 1 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...