coinduction
Look at other dictionaries:
Coinduction — codata redirects here. For the CODATA committee, see Committee on Data for Science and Technology. In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is… … Wikipedia
Corecursion — In computer science, corecursion is a type of operation that is dual to recursion. Corecursion and codata allow total languages to work with infinite data structures such as streams. Corecursion is often used in conjunction with lazy evaluation.… … Wikipedia
Simulation preorder — In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that one system simulates the other.Intuitively, a system simulates another system… … Wikipedia
coinductive — adjective Of, pertaining to, or producing coinduction … Wiktionary
