5571 results in Programming Languages and Applied Logic
6 - The Rationale for CML
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 117-130
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 1-10
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 293-300
-
- Chapter
- Export citation
10 - Implementing Concurrency in SML/NJ
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 221-248
-
- Chapter
- Export citation
5 - Synchronization and Communication Mechanisms
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 85-116
-
- Chapter
- Export citation
9 - A CML Implementation of Linda
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 183-220
-
- Chapter
- Export citation
2 - Concepts in Concurrent Programming
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 11-38
-
- Chapter
- Export citation
Concurrent Programming in ML
-
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999
3 - An Introduction to Concurrent ML
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp 39-62
-
- Chapter
- Export citation
Legend
-
- Book:
- Concurrent Programming in ML
- Published online:
- 07 October 2009
- Print publication:
- 13 August 1999, pp xv-xvi
-
- Chapter
- Export citation
Appendix C - Notational Convention
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 394-401
-
- Chapter
- Export citation
Picture Gallery
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 236-254
-
- Chapter
- Export citation
Part I - Theory
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 1-1
-
- Chapter
- Export citation
4 - Properties of Simulation
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 73-89
-
- Chapter
- Export citation
6 - A Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 121-131
-
- Chapter
- Export citation
Preface
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp viii-xii
-
- Chapter
- Export citation
Appendix D - Precedences
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 402-403
-
- Chapter
- Export citation
Appendix B - A Primer on Ordinals and Transfinite Induction
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 387-393
-
- Chapter
- Export citation
Part II - Applications
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 255-256
-
- Chapter
- Export citation
Appendix A - An Introduction to Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 363-386
-
- Chapter
- Export citation