Login

Bowman, Howard

Concurrency Theory

Concurrency Theory

93,00€

PDF with Adobe DRM
ISBN: 9781846283369
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I.Introduction

1. Background on Concurrency Theory
Part II.Concurrency Theory — Untimed Models

2. Process Calculi: LOTOS
3. Basic Interleaved Semantic Models
4. True Concurrency Models: Event Structures
5. Testing Theory and the Linear Time — Branching Time Spectrum
Part III.Concurrency Theory — Further Untimed Notations

6. Beyond pbLOTOS
7. Comparison of LOTOS with CCS and CSP
8. Communicating Automata
Part IV.Concurrency Theory — Timed Models

9. Timed Process Calculi, a LOTOS Perspective
10. Semantic Models for tLOTOS
11. Timed Communicating Automata
12. Timelocks in Timed Automata
13. Discrete Timed Automata

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
 
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781846283369

Similar titles