Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Molecular Sieve Silica Membranes

The Encyclopedia of Nanoscience and NanotechnologyTM is the world's first encyclopedia ever published in the field of nanotechnology. The 10-volume Encyclopedia is an unprecedented single reference source that provides an ideal introduction and overview of recent advances and emerging new aspects of nanotechnology, spanning from science to engineering to medicine. Although there are many books/handbooks and journals focused on nanotechnology, no encyclopedic reference work has been published as of today. The Encyclopedia fills this gap to provide basic information on all fundamental and applied aspects of nanotechnology by drawing on two decades of pioneering research. It is the only scientific work of its kind since the beginning of the field of nanotechnology, bringing together core knowledge and the very latest advances. About 400 review chapters and hundreds of entries written by over 1,000 of the world's leading scientists. It is written for all audience levels, allowing non-scientists to understand the nanotechnology while providing up-to-date information to active scientists and experts in the field. This outstanding encyclopedia is an indispensable source for research professionals, technology investors and developers seeking the most up-to-date information on nanotechnology, among a wide range of disciplines, from science to engineering to medicine.