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.

Age and Offending: Characteristics and Criminological Factors

Adolescence is popularly understood as a transitional phase of turbulence and extremes. It is also often associated with 'trouble'. Criminal justice statistics, however, reveal that youth criminality remains a relatively rare phenomenon, less than one percent of the total adolescent population in any given year. This exceptional book is based upon a major Australian research programme to consider the key social factors impacting upon the lives of young people. A sample of 1,300 young people was divided into three major subgroups: a 'control' group, drawn from state secondary schools and closely approximating the general population; a chronically marginalized cohort representing a 'vulnerable group', and a group of offenders, most of whom were incarcerated at the time of the research.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

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.

Hydrogen Storage by Carbon Nanotubes

Encyclopedia of Nanoscience and Nanotechnology® 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 ideal introduction and overview of most recent advances and emerging new aspects of nanotechnology spanning from science to engineering to medicine. Although there are many books/handbook and journals focused on nanotechnology, no encyclopedic reference work has been published covering all aspects of nanoscale science and technology dealing with materials synthesis, processing, fabrication, probes, spectroscopy, physical properties, electronics, optics, mechanics, biotechnology, devices, etc. 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. It is written for all levels audience that allows non-scientists to understand the nanotechnology while providing up-to-date latest information to active scientists to 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 the nanotechnology among a wide range of disciplines from science to engineering to medicine.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.