What is SPIN? SPIN is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of processes. It can also check for more subtle, system dependent correctness properties expressed...

This volume presents the proceedings from the third DIMACS workshop on DNA Based Computers held at the University of Pennsylvania (Philadelphia). The workshop was part of the Special Year on Molecular Biology and the Special Year on DNA Computing. The focus of this workshop was on the multidisciplinary nature of the conference, with emphasis on the interaction between biology and biochemistry on one hand and computer science and mathematics on the other.

This volume presents selected papers from a three-day workshop held during the DIMACS special years on Mathematical Support for Molecular Biology. Participants from the world over attended, giving the workshop an important international component. The study of discrete mathematics and optimization with medical applications is emerging as an important new research area. Significant applications have been found in medical research, for example in radiosurgical treatment planning, virtual endoscopy, and more. This volume presents a substantive cross-section of active research topics ranging from...

This volume contains the proceedings from the first DIMACS meeting on discrete mathematical chemistry held at Rutgers University, USA. The contributions reflect the presentations and spotlight the breadth of current research on the topic - from the Benzenoid Clar problem to the Wulff-shape of sphere packings. Much of the volume reflects the combined mathematical and physical interest in the new molecules, fullerenes. This DIMACS conference highlighted the range of opportunities for fruitful and informed collaboration across the mathematics-chemistry boundaries. The interdisciplinary nature of...

A collection of articles written by experienced primary, secondary, and collegiate educators. It explains why discrete mathematics should be taught in K-12 classrooms and offers guidance on how to do so. It offers school and district curriculum leaders material that addresses how discrete mathematics can be introduced into their curricula.

This volume contains the proceedings of a DIMACS Workshop on Robust Communication Networks, held as part of the Special Year on Networks. Theoreticians and practitioners presented papers on the roles of architectural interconnection and survivability in the design, construction, operation and application of robust communication networks.

Advances in the technologies of networking, wireless communications, and miniaturization of computers have led to rapid development in mobile communication infrastructure and have engendered a new paradigm of computing. Users carrying portable devices can now move about freely whilst remaining connected to the network. This portability allows for access to information from anywhere and at any time. The flexibility has resulted in new levels of complexity not encountered previously in software and protocol design for wired networking.

This proceedings volume presents the talks from the Fifth Annual Meeting on DNA-Based Computers, held at MIT. The conference brought together researchers and theorists from many disciplines who shared research results in biomolecular computation. Two styles of DNA computing were explored at the conference: 1) DNA computing based on combinatorial search, where randomly created DNA strands are used to encode potential solutions to a problem, and constraints induced by the problem are used to identify DNA strands that are solution witnesses; and 2) DNA computing based on finite-state machines,...

Discrete mathematics stands among the leading disciplines of mathematics and theoretical computer science. This is due primarily to its increasing role in university curriculae and its growing importance in applications ranging from optimization to molecular biology. An inaugural conference was held co-operatively by DIMATIA and DIMACS to focus on the versatility, width and depth of current progress in the subject area.

Presents topics addressed at the working group meeting and workshop on Computer-generated Conjectures from Graph Theoretic and Chemical Databases held at Rutgers University (Piscataway, NJ). This book is suitable for researchers and students interested in