Concurrency: Theory, Language, And Architecture 1989: Oxford, UK

Part 1: Theorectical Aspects of Concurrency

• Colin Stirling:
  An Introduction to Modal and Temporal Logics for CCS. 2-20
  
• David Walker:
  Some Results on the pi-Calculus. 21-35
  
• George M. Reed, A. W. Roscoe:
  Analysing TM_FS: a Study of Nondeterminism in Real-Time Concurrency. 36-63
  
• Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter:
  Using the Temporal Logic RDL for Design Specifications. 64-78
  
• Takayasu Ito:
  Logic of Execution: An Outline. 79-90
  

Part 2: Object-Orientation and Concurrent Languages

• Yuuji Ichisugi, Akinori Yonezawa:
  Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. 92-109
  
• Etsuya Shibayama:
  Reuse of Concurrent Object Descriptions. 110-135
  
• Mario Tokoro, Kohei Honda:
  The Computational Field Model for Open Distributed Environments. 136-141
  
• Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura:
  Concurrent Programming in COB. 142-156
  
• Hidehiko Tanaka:
  A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. 157-172
  
• Akikazu Takeuchi, Kazuko Takahashi:
  An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. 173-209
  
• Taiichi Yuasa:
  Premature Return - Another Interpretation of the Future Construct. 210-214
  

Part 3: Parallel Architectures and VLSI Logic

• Joseph A. Goguen:
  Semantic Specifications for the Rewrite Rule Machine. 216-234
  
• D. L. McBurney, M. Ronan Sleep:
  Graph Rewriting as a Computational Model. 235-256
  
• Makoto Amamiya, Rin-ichiro Taniguchi:
  An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. 257-281
  
• Jeff W. Sanders:
  A Hierarchical Approach to Hardware Design. 282-296
  
• Norihiko Yoshida:
  Transformational Derivation of Systolic Arrays. 297-311
  
• Hiroto Yasuura:
  Locally Computable Coding for Unary Operations. 312-323