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

Akinori Yonezawa, Takayasu Ito (Eds.): Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Lecture Notes in Computer Science 491 Springer 1991, ISBN 3-540-53932-8 BibTeX

@proceedings{DBLP:conf/concur/1989,
  editor    = {Akinori Yonezawa and
               Takayasu Ito},
  title     = {Concurrency: Theory, Language, And Architecture, UK/Japan Workshop,
               Oxford, UK, September 25-27, 1989, Proceedings},
  booktitle = {Concurrency: Theory, Language, And Architecture},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {491},
  year      = {1991},
  isbn      = {3-540-53932-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part 1: Theorectical Aspects of Concurrency

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

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 BibTeX
Etsuya Shibayama: Reuse of Concurrent Object Descriptions. 110-135 BibTeX
Mario Tokoro, Kohei Honda: The Computational Field Model for Open Distributed Environments. 136-141 BibTeX
Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura: Concurrent Programming in COB. 142-156 BibTeX
Hidehiko Tanaka: A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. 157-172 BibTeX
Akikazu Takeuchi, Kazuko Takahashi: An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. 173-209 BibTeX
Taiichi Yuasa: Premature Return - Another Interpretation of the Future Construct. 210-214 BibTeX

Part 3: Parallel Architectures and VLSI Logic

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