Search results

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has de...

Crash Course in Digital Technology teaches the basics of digital electronics theory and circuits in an easy-to-understand format. Each chapter includes learning objectives, clear explanations and examples, and an end-of-chapter self-quiz. The drill-and-review software included with the book allows learners to test themselves on the contents of each chapter, providing a second reinforcement of the material. A final chapter teaches the basics of troubleshooting digital circuits. With the two ot...

The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur- rency by partially ordered sets. Occurrence nets - which are special n...

IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motiv...

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park. It was jointly sponsored by the Department of Computer Science at the University of Ma- land and the University of Maryland Institute for Advanced Computer Studies (UMIACS).LCPC2002broughttogetherover60researchersfromacademiaand research institutions from many countries. The program of 26 papers was selected from 32 submissions. Each paper was reviewed by at leas...

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September...

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in...

This book is the first of a new, seven volume series which aims to provide a comprehensive description of basic methods and technologies related to CAD for VLSI. The series includes up-to-date results and latest developments, with a good balance between theoretical and practical aspects of VLSI design. In this volume emphasis is placed on the basics of modeling, the opening chapters being devoted to fundamental process and device modeling. The following chapters cover different aspects of device...

Using MultiSIM provides everything users need to transform a personal computer into a virtual electronics technician's workbench where digital circuits can be built and tested, and on-going analyses may performed as circuits are modified. This 224-page workbook reinforces "must-know" digital theory by providing opportunities to measure, analyze and troubleshoot a variety of digital circuits in the safety of a state-of-the-art, highly interactive computer environment. Complete coverage of essenti...