7 search results - page 2 / 2 » Varieties Generated by Certain Models of Reversible Finite A... |
77
Voted
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
96
Voted
ESOP
2008
Springer
15 years 18 hour ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...