23 results
Index
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 281-284
-
- Chapter
- Export citation
3 - Behavioural equivalences
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 31-74
-
- Chapter
- Export citation
Preface
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp x-xvi
-
- Chapter
- Export citation
11 - Timed behavioural equivalences
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 193-219
-
- Chapter
- Export citation
1 - Introduction
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 1-6
-
- Chapter
- Export citation
I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp -
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 267-280
-
- Chapter
- Export citation
Reactive Systems
- Modelling, Specification and Verification
-
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007
13 - Modelling and analysis of Fischer's algorithm
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 248-260
-
- Chapter
- Export citation
5 - Hennessy–Milner logic
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 89-101
-
- Chapter
- Export citation
Contents
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp v-vii
-
- Chapter
- Export citation
8 - Introduction
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 159-160
-
- Chapter
- Export citation
4 - Theory of fixed points and bisimulation equivalence
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 75-88
-
- Chapter
- Export citation
9 - CCS with time delays
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 161-174
-
- Chapter
- Export citation
6 - HML with recursion
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 102-141
-
- Chapter
- Export citation
7 - Modelling mutual exclusion algorithms
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 142-158
-
- Chapter
- Export citation
Figures and tables
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp viii-ix
-
- Chapter
- Export citation
12 - Hennessy–Milner logic with time
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 220-247
-
- Chapter
- Export citation
Appendix A - Suggestions for student projects
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 261-266
-
- Chapter
- Export citation