Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Loot Price: R2,650
Discovery Miles 26 500
|
|
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Series: Cambridge Tracts in Theoretical Computer Science
Expected to ship within 10 - 15 working days
|
Coinduction is a method for specifying and reasoning about infinite
data types and automata with infinite behaviour. In recent years,
it has come to play an ever more important role in the theory of
computing. 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. This
collection of surveys is aimed at both researchers and Master's
students in computer science and mathematics and deals with various
aspects of bisimulation and coinduction, with an emphasis on
process theory. Seven chapters cover the following topics: history,
algebra and coalgebra, algorithmics, logic, higher-order languages,
enhancements of the bisimulation proof method, and probabilities.
Exercises are also included to help the reader master new material.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.