1302 search results - page 45 / 261 » Fair Equivalence Relations |
FORTE
1990
13 years 10 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
JOLLI
2008
13 years 9 months ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
Coherent upper and lower previsions are becoming more and more popular as a mathematical model for robust valuations under uncertainty. Likewise, the mathematically equivalent cla...