12 results
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
Contents
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp v-x
-
- 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
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
References
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 189-192
-
- Chapter
- Export citation
Process algebra as a tool for the specification and verification of CIM-architectures
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 53-80
-
- Chapter
- Export citation