5570 results in Programming Languages and Applied Logic
Concurrent and Real-Time Programming in Ada
-
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007
Contents
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp v-x
-
- Chapter
- Export citation
Index
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 457-461
-
- Chapter
- Export citation
18 - Conclusion
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 451-454
-
- Chapter
- Export citation
8 - Avoidance synchronisation and the requeue facility
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 163-194
-
- Chapter
- Export citation
9 - Exceptions, abort and asynchronous transfer of control
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 195-222
-
- Chapter
- Export citation
11 - Concurrency utilities
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 247-292
-
- Chapter
- Export citation
17 - Restrictions, metrics and the Ravenscar profile
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 433-450
-
- Chapter
- Export citation
3 - Inter-process communication
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 31-54
-
- Chapter
- Export citation
13 - Scheduling real-time systems – fixed priority dispatching
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 317-330
-
- Chapter
- Export citation
6 - The select statement and the rendezvous
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 97-128
-
- Chapter
- Export citation
5 - The rendezvous
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 79-96
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 1-14
-
- Chapter
- Export citation
4 - Task types and objects
-
- Book:
- Concurrent and Real-Time Programming in Ada
- Published online:
- 10 December 2009
- Print publication:
- 05 July 2007, pp 55-78
-
- Chapter
- Export citation
3 - Types for aPi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 55-95
-
- Chapter
- Export citation
Contents
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp vii-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp ix-xvi
-
- Chapter
- Export citation
4 - Types and behaviour in aPi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 96-123
-
- Chapter
- Export citation
List of figures
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 248-249
-
- Chapter
- Export citation
Index
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 257-259
-
- Chapter
- Export citation