1900 results in Distributed, Networked and Mobile Computing
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
Frontmatter
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp i-vi
-
- Chapter
- Export citation
1 - Inductive principles
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 1-9
-
- Chapter
- Export citation
2 - The asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 10-54
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 254-256
-
- Chapter
- Export citation
A Distributed Pi-Calculus
-
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007
Notation
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 250-253
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp xvii-xviii
-
- Chapter
- Export citation
5 - A distributed asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 124-193
-
- Chapter
- Export citation
Sources
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 244-247
-
- Chapter
- Export citation
6 - Behavioural equivalences for aDpi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 194-243
-
- Chapter
- Export citation
8 - Energy-efficient and robust routing
-
- Book:
- Networking Wireless Sensors
- Published online:
- 14 August 2009
- Print publication:
- 22 December 2005, pp 119-138
-
- Chapter
- Export citation
6 - Medium-access and sleep scheduling
-
- Book:
- Networking Wireless Sensors
- Published online:
- 14 August 2009
- Print publication:
- 22 December 2005, pp 82-102
-
- Chapter
- Export citation