19 results
4 - Verification of a systolic algorithm in process algebra
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 139-158
-
- Chapter
- Export citation
Contents
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp v-vi
-
- Chapter
- Export citation
Process Algebra
-
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990
Frontmatter
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp i-iv
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 1-14
-
- Chapter
- Export citation
7 - Semantics
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 209-220
-
- Chapter
- Export citation
6 - Features
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 169-208
-
- Chapter
- Export citation
Preface
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp vii-viii
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 227-234
-
- Chapter
- Export citation
2 - Basic process algebra
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 15-66
-
- Chapter
- Export citation
3 - Concurrent processes
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 67-90
-
- Chapter
- Export citation
Glossary
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 235-238
-
- Chapter
- Export citation
5 - Abstraction
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 119-168
-
- Chapter
- Export citation
Index of names
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 239-242
-
- Chapter
- Export citation
8 - Sources and related work
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 221-226
-
- Chapter
- Export citation
Index of symbols and notation
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 243-248
-
- Chapter
- Export citation
4 - Communication
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 91-118
-
- Chapter
- Export citation
Verification of an algorithm for log-time sorting by square comparison
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 127-146
-
- Chapter
- Export citation
Correctness proofs for systolic algorithms: palindromes and sorting
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 89-126
-
- Chapter
- Export citation