5570 results in Programming Languages and Applied Logic
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
Part I - Theory
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 45-46
-
- Chapter
- Export citation
Part III - Applications
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 375-376
-
- 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
3 - Complexity of Reasoning
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 105-148
-
- Chapter
- Export citation
10 - Timed automata
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 175-192
-
- Chapter
- Export citation
Index
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 593-601
-
- Chapter
- Export citation
6 - Extensions to Description Logics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 237-282
-
- Chapter
- Export citation
2 - The language CCS
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 7-30
-
- Chapter
- Export citation
II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp -
-
- Chapter
- Export citation
7 - Protected objects and data-oriented communication
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 129-162
-
- Chapter
- Export citation
14 - Scheduling real-time systems – other dispatching facilities
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 331-360
-
- Chapter
- Export citation
References
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 455-456
-
- Chapter
- Export citation
Preface
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp xi-xiv
-
- Chapter
- Export citation
10 - Object-oriented programming and tasking
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 223-246
-
- Chapter
- Export citation
12 - Tasking and systems programming
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 293-316
-
- Chapter
- Export citation
2 - The nature and uses of concurrent programming
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 15-30
-
- Chapter
- Export citation
16 - Real-time utilities
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 391-432
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp i-iv
-
- Chapter
- Export citation
15 - Timing events and execution-time control
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 361-390
-
- Chapter
- Export citation