6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Contents
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp xi-xii
-
- Chapter
- Export citation
Index of concepts
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 307-312
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp i-iv
-
- Chapter
- Export citation
Index of symbols and notation
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 317-317
-
- Chapter
- Export citation
Proving mutual exclusion with process algebra
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 45-52
-
- Chapter
- Export citation
Process algebra semantics of POOL
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 173-236
-
- Chapter
- Export citation
Index of names
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 313-316
-
- Chapter
- Export citation
A process creation mechanism in process algebra
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 81-88
-
- 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
A modular approach to protocol verification using process algebra
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 261-306
-
- Chapter
- Export citation
Two simple protocols
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 23-44
-
- Chapter
- Export citation
On the Amoeba protocol
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 147-172
-
- 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
![](https://assets.cambridge.org/97805216/07506/cover/9780521607506.jpg)
Applications of Process Algebra
-
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990
Some observations on redundancy in a context
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 237-260
-
- Chapter
- Export citation
An introduction to process algebra
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 1-22
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp v-x
-
- Chapter
- Export citation
Contents
-
- Book:
- Formal Semantics and Pragmatics for Natural Language Querying
- Published online:
- 06 October 2009
- Print publication:
- 29 June 1990, pp ix-xii
-
- Chapter
- Export citation
7 - Examples from the QE-III Fragment
-
- Book:
- Formal Semantics and Pragmatics for Natural Language Querying
- Published online:
- 06 October 2009
- Print publication:
- 29 June 1990, pp 133-172
-
- Chapter
- Export citation
5 - Overview of English Query Language QE-III
-
- Book:
- Formal Semantics and Pragmatics for Natural Language Querying
- Published online:
- 06 October 2009
- Print publication:
- 29 June 1990, pp 69-108
-
- Chapter
- Export citation