EBOOK

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship


€ 53,49
 
kartoniert
Lieferbar innert 2 Wochen
Juni 2005

Beschreibung

Beschreibung

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.

Inhaltsverzeichnis

1. Introduction; 2. Petri nets; 3. Process terms; 4. Logical formulas; 5. Process construction; 6. Extensions; References.

Pressestimmen

"The unique feature of this book is that it unifies different views of concurrency rather than adding another view. The author does so in a clear and convincing fashion...requires the reader to be fluent in such mathematical concepts as sets, relations, functions, and predicate logic, and to be familiar with the basic concepts of automata and regular languages. Readers who enjoy the mathematical maturity will find the book excellent: it is carefully written, and the material is presented in a well-chosen order and at the right level of detail. The author must be a good teacher." Martin Rem, Computing Reviews
EAN: 9780521018456
ISBN: 0521018455
Untertitel: 'Cambridge Tracts in Theoretica'. Revised. Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: Juni 2005
Seitenanzahl: 280 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben