Labelled transition systems are mathematical models for dynamic
behaviour, or processes, and thus form a research field of common
interest to logicians and theoretical computer scientists. In
computer science, this notion is a fundamental one in the formal
analysis of programming languages, in particular in process theory.
In modal logic, transition systems are the central object of study
under the name of Kripke models. This volume collects a number of
research papers on modal logic and process theory. Its unifying
theme is the notion of a bisimulation. Bisimulations are relations
over transition systems, and provide a key tool in identifying the
processes represented by these structures. The volume offers an
up-to-date overview of perspectives on labelled transition systems
and bisimulations.
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
