A recent trend in the study of the semantics of concurrent systems
has been to consider the effect of replacing an action by a whole
process. Such a replacement, known as action refinement has been
investigated as a formal basis for the step-wise development of
concurrent systems. This award-winning thesis studies the notion of
action refinement in the setting of process description languages,
together with behavioural equivalences for them and their
associated proof systems.
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!