Kurshan | Computer-Aided Verification of Coordinating Processes | E-Book | sack.de
E-Book

E-Book, Englisch, 284 Seiten

Reihe: Princeton Legacy Library

Kurshan Computer-Aided Verification of Coordinating Processes


The Automata-Theoretic Approach

E-Book, Englisch, 284 Seiten

Reihe: Princeton Legacy Library

ISBN: 978-1-4008-6404-1
Verlag: De Gruyter
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

No detailed description available for "Computer-Aided Verification of Coordinating Processes".
Kurshan Computer-Aided Verification of Coordinating Processes jetzt bestellen!

Autoren/Hrsg.

Kurshan, Robert P.

Fachgebiete

Weitere Infos & Material

Preface

1 Introduction 3

2 Boolean Algebra 31

3 L-matrix 45

4 L-language 51

5 String Acceptors 63

6 [omega]-theory: L-automaton/L-process 77

7 The Selection/Resolution Model 109

8 Reduction of Verification 153

9 Structural Induction 203

10 Binary Decision Diagrams 215

Appendices 231

Bibliography 241

Glossary 263

Index 264

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.