Top
| Preface | |
| Contents | |
| Introduction | p. 1 |
| Overview of selected papers | p. 1 |
| Further and related work | p. 9 |
| Amsterdam Concurrency Group - Membership | p. 13 |
| Amsterdam Concurrency Group - Publications on semantics | p. 14 |
| General techniques | p. 27 |
| Processes and the denotational semantics of concurrency | p. 28 |
| Linear time and branching time semantics for recursion with merge | p. 81 |
| Metric semantics for concurrency | p. 104 |
| Solving reflexive domain equations in a category of complete metric spaces | p. 131 |
| A convergence theorem in process algebra | p. 164 |
| Order and metric in the stream semantics of elemental concurrency | p. 196 |
| Semantics of parallel object-oriented languages | p. 217 |
| Denotational semantics of a parallel object-oriented language | p. 218 |
| Semantic correctness for a parallel object-oriented language | p. 272 |
| Semantics of parallel logic languages | p. 315 |
| Comparative semantics for flow of control in logic programming without logic | p. 316 |
| From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic | p. 373 |
| Further topics | p. 397 |
| Correctness and full abstraction of metric semantics for concurrency | p. 398 |
| Deriving denotational models for bisimulation from Structured Operational Semantics | p. 425 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
