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

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

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

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

Last update Tue Feb 14 03:51:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page