12 search results - page 2 / 3 » Circular Coinductive Rewriting |
ICFEM
2010
Springer
13 years 3 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 ...
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
CALCO
2009
Springer
13 years 12 months ago
2009
Springer
CALCO
2009
Springer
13 years 12 months ago
2009
Springer
ENTCS
2000
13 years 5 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...