80 search results - page 2 / 16 » Behavioral and Coinductive Rewriting |
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...