5570 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp i-iv
-
- Chapter
- Export citation
4 - Basic process theory
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 67-108
-
- Chapter
- Export citation
10 - Data and states
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 335-374
-
- Chapter
- Export citation
Contents
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp v-viii
-
- Chapter
- Export citation
Index of Symbols and Notations
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 421-434
-
- Chapter
- Export citation
11 - Features
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 375-392
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp xi-xii
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 411-420
-
- Chapter
- Export citation
6 - Sequential processes
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 171-194
-
- Chapter
- Export citation
Index of Subjects
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 439-460
-
- Chapter
- Export citation
Process Algebra: Equational Theories of Communicating Processes
-
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009
8 - Abstraction
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp 245-300
-
- Chapter
- Export citation
8 - Predicate Transformer Semantics of Quantum Programs
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 311-360
-
- Chapter
- Export citation
10 - Temporal Logics for Reasoning about Quantum Systems
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 389-413
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp i-iv
-
- Chapter
- Export citation
11 - Specification and Verification of Quantum Protocols
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 414-472
-
- Chapter
- Export citation
Contributors
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp vii-x
-
- Chapter
- Export citation
Preface
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp xi-xiv
-
- Chapter
- Export citation
6 - Abstract Interpretation Techniques for Quantum Computation
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 206-234
-
- Chapter
- Export citation
Semantic Techniques in Quantum Computation
-
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009