6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
4 - Update algorithms for model-based semantics
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 64-83
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp i-vi
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 201-206
-
- Chapter
- Export citation
Contents
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp v-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/00435/cover/9780521400435.jpg)
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
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