Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group /
Saved in:
| 企業作者: | |
|---|---|
| 其他作者: | , |
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Singapore ; River Edge, N.J. :
World Scientific,
c1992.
|
| 主題: |
書本目錄:
- 1. Introduction. 1.1. Overview of selected papers. 1.2. Further and related work. 1.3. Amsterdam Concurrency Group - Membership. 1.4. Amsterdam Concurrency Group - Publications on semantics
- 2. General techniques. Processes and the denotational semantics of concurrency / J.W. de Bakker and J.I. Zucker. Linear time and branching time semantics for recursion with merge / J.W. de Bakker, J.A. Bergstra, J.W. Klop and J.-J. Ch. Meyer. Metric semantics for concurrency / J.W. de Bakker and J.-J. Ch. Meyer. Solving reflexive domain equations in a category of complete metric spaces / P.H.M. America and J.J.M.M. Rutten. A convergence theorem in process algebra / J.A. Bergstra and J.W. Klop. Order and metric in the stream semantics of elemental concurrency / J.W. de Bakker and J.-J. Ch. Meyer
- 3. Semantics of parallel object-oriented languages. Denotational semantics of a parallel object-oriented language / P.H.M. America, J.W. de Bakker, J.N. Kok and J.J.M.M. Rutten.
- Semantic correctness for a parallel object-oriented language / J.J.M.M. Rutten
- 4. Semantics of parallel logic languages. Comparative semantics for flow of control in logic programming without logic / J.W. de Bakker. From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic / F.S. de Boer, J.N. Kok, C. Palamidessi and J.J.M.M. Rutten
- 5. Further topics. Correctness and full abstraction of metric semantics for concurrency / J.J.M.M. Rutten. Deriving denotational models for bisimulation from Structured Operational Semantics / J.J.M.M. Rutten.