![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Concurrency: Theory, Language, And Architecture 1989: Oxford, UK
- Akinori Yonezawa, Takayasu Ito:
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 TMFS: 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.