ICFEM
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
ENTCS
2000
14 years 11 days ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
JUCS
2006
14 years 15 days ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
COGSCI
2010
14 years 20 days ago
2010
Cunha and Caldieraro (2009) investigated whether sunk-cost effects, which are well documented in hypothetical situations involving monetary investments, also occur in choice situa...
ISTA
2001
14 years 1 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...