650 search results - page 5 / 130 » Logical Bisimulations and Functional Languages |
PADL
1999
Springer
13 years 11 months ago
1999
Springer
PPDP
2000
Springer
13 years 10 months ago
2000
Springer
LOGCOM
2011
12 years 9 months ago
2011
POPL
1997
ACM
13 years 10 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
14 years 2 days 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...