26 results
Extending modal transition systems with structured labels
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 4 / August 2012
- Published online by Cambridge University Press:
- 08 May 2012, pp. 581-617
-
- Article
- Export citation
3 - The algorithmics of bisimilarity
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 100-172
-
- Chapter
- Export citation
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