Chapter: 7 - Modelling mutual exclusion algorithms

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Reactive Systems: Modelling, Specification and Verification > 7 - Modelling mutual exclusion algorithms

Reactive Systems: Modelling, Specification and Verification |

Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

7 - Modelling mutual exclusion algorithms

Chapter Info

ARI Id

1667226766334_10223151

Access

Not Available Free

Pages

142-158

Chapter URL

https://www.cambridge.org/core/books/reactive-systems/modelling-mutual-exclusion-algorithms/4FF3F659FE148E046C71B3CF37BEB36B

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 22 entries

Chapters/Headings	Author(s)	Pages	Info
Frontmatter		i-iv
Contents		v-vii
Figures and tables		viii-ix
Preface		x-xvi
I - A Classic Theory of Reactive Systems Get access
1 - Introduction		1-6
2 - The language CCS		7-30
3 - Behavioural equivalences		31-74
4 - Theory of fixed points and bisimulation equivalence		75-88
5 - Hennessy–Milner logic		89-101
6 - HML with recursion		102-141
7 - Modelling mutual exclusion algorithms		142-158
II - A Theory of Real-time Systems Get access
8 - Introduction		159-160
9 - CCS with time delays		161-174
10 - Timed automata		175-192
11 - Timed behavioural equivalences		193-219
12 - Hennessy–Milner logic with time		220-247
13 - Modelling and analysis of Fischer's algorithm		248-260
Appendix A - Suggestions for student projects		261-266
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 22 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries