5571 results in Programming Languages and Applied Logic
4 - Specification
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 55-66
-
- Chapter
- Export citation
Preface
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp xi-xiv
-
- Chapter
- Export citation
5 - Proof
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 67-98
-
- Chapter
- Export citation
9 - Discussion
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 167-172
-
- Chapter
- Export citation
1 - The Language of CSP
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 1-8
-
- Chapter
- Export citation
6 - Structuring Specifications
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 99-110
-
- Chapter
- Export citation
References
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 175-180
-
- Chapter
- Export citation
3 - Recursive Processes
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 29-54
-
- Chapter
- Export citation
Thanks
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 173-174
-
- Chapter
- Export citation
7 - Case Study
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 111-144
-
- Chapter
- Export citation
Contents
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp vii-x
-
- Chapter
- Export citation
2 - The Timed Failures Model
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 9-28
-
- Chapter
- Export citation
Glossary
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp xv-xviii
-
- Chapter
- Export citation
Index
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 121-124
-
- Chapter
- Export citation
Preface
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp vii-viii
-
- Chapter
- Export citation
The Clausal Theory of Types
-
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993
3 - Higher-Order Logic
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 27-44
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 107-120
-
- Chapter
- Export citation
1 - Logic Programming: A Case Study
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 1-16
-
- Chapter
- Export citation
5 - Higher-Order Equational Logic Programming
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 89-106
-
- Chapter
- Export citation