5571 results in Programming Languages and Applied Logic
3 - Hardware Verification using Higher Order Logic
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 29-46
-
- Chapter
- Export citation
A - The PSF Library
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 179-184
-
- Chapter
- Export citation
B - Syntax of PSF
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 185-188
-
- Chapter
- Export citation
7 - The Token Ring Protocol
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 161-178
-
- Chapter
- Export citation
6 - Two Simple Protocols for Local Area Networks
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 135-160
-
- Chapter
- Export citation
Contents
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp v-x
-
- Chapter
- Export citation
5 - The Amoeba Transaction Protocol
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 113-134
-
- Chapter
- Export citation
1 - Introduction
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 1-8
-
- Chapter
- Export citation
Algebraic Specification of Communication Protocols
-
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993
4 - Sliding Window Protocols
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 71-112
-
- Chapter
- Export citation
PREFACE
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp xi-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp i-iv
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 195-197
-
- Chapter
- Export citation
Module Index
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 193-194
-
- Chapter
- Export citation
2 - Algebraic Specifications in PSF
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 9-46
-
- Chapter
- Export citation
References
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 189-192
-
- Chapter
- Export citation
3 - Simple Protocols
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 47-70
-
- Chapter
- Export citation
Specification and Proof in Real Time CSP
-
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993
8 - Broadcast communication
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp 145-166
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Specification and Proof in Real Time CSP
- Published online:
- 04 August 2010
- Print publication:
- 20 May 1993, pp i-vi
-
- Chapter
- Export citation