Abstract is missing.
- An Introduction to Modal and Temporal Logics for CCSColin Stirling. 2-20
- Some Results on the pi-CalculusDavid Walker. 21-35
- Analysing ::::TM::FS::::::: a Study of Nondeterminism in Real-Time ConcurrencyGeorge M. Reed, A. W. Roscoe. 36-63
- Using the Temporal Logic RDL for Design SpecificationsDov M. Gabbay, Ian M. Hodkinson, Anthony Hunter. 64-78
- Logic of Execution: An OutlineTakayasu Ito. 79-90
- Exception Handling and Real Time Features in an Object-Oriented Concurrent LanguageYuuji Ichisugi, Akinori Yonezawa. 92-109
- Reuse of Concurrent Object DescriptionsEtsuya Shibayama. 110-135
- The Computational Field Model for Open Distributed EnvironmentsMario Tokoro, Kohei Honda. 136-141
- Concurrent Programming in COBKaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura. 142-156
- A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64Hidehiko Tanaka. 157-172
- An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- ParallelismAkikazu Takeuchi, Kazuko Takahashi. 173-209
- Premature Return - Another Interpretation of the Future ConstructTaiichi Yuasa. 210-214
- Semantic Specifications for the Rewrite Rule MachineJoseph A. Goguen. 216-234
- Graph Rewriting as a Computational ModelD. L. McBurney, M. Ronan Sleep. 235-256
- An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional LanguagesMakoto Amamiya, Rin-ichiro Taniguchi. 257-281
- A Hierarchical Approach to Hardware DesignJeff W. Sanders. 282-296
- Transformational Derivation of Systolic ArraysNorihiko Yoshida. 297-311
- Locally Computable Coding for Unary OperationsHiroto Yasuura. 312-323