Advanced Topics in Bisimulation and Coinduction by Davide Sangiorgi (English) Ha
136,33 €
It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them.
Jetzt bei Ebay:
