default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > Concurrency: Theory, Language, And Architecture

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/concur/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/1989
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

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Stirling89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Stirling89
Colin Stirling:
An Introduction to Modal and Temporal Logics for CCS. 2-20
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Walker89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Walker89
David Walker:
Some Results on the pi-Calculus. 21-35
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ReedR89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ReedR89
George M. Reed, A. W. Roscoe:
Analysing TM_FS: a Study of Nondeterminism in Real-Time Concurrency. 36-63
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GabbayHH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GabbayHH89
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter:
Using the Temporal Logic RDL for Design Specifications. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Ito89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Ito89
Takayasu Ito:
Logic of Execution: An Outline. 79-90

Part 2: Object-Orientation and Concurrent Languages

- view
  authority control:
- export record
  dblp key:
  - conf/concur/IchisugiY89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/IchisugiY89
Yuuji Ichisugi, Akinori Yonezawa:
Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. 92-109
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Shibayama89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Shibayama89
Etsuya Shibayama:
Reuse of Concurrent Object Descriptions. 110-135
- view
  authority control:
- export record
  dblp key:
  - conf/concur/TokoroH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/TokoroH89
Mario Tokoro, Kohei Honda:
The Computational Field Model for Open Distributed Environments. 136-141
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HosokawaNK89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HosokawaNK89
Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura:
Concurrent Programming in COB. 142-156
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Tanaka89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Tanaka89
Hidehiko Tanaka:
A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. 157-172
- view
  authority control:
- export record
  dblp key:
  - conf/concur/TakeuchiT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/TakeuchiT89
Akikazu Takeuchi, Kazuko Takahashi:
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. 173-209
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Yuasa89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Yuasa89
Taiichi Yuasa:
Premature Return - Another Interpretation of the Future Construct. 210-214

Part 3: Parallel Architectures and VLSI Logic

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Goguen89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Goguen89
Joseph A. Goguen:
Semantic Specifications for the Rewrite Rule Machine. 216-234
- view
  authority control:
- export record
  dblp key:
  - conf/concur/McBurneyS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/McBurneyS89
D. L. McBurney, M. Ronan Sleep:
Graph Rewriting as a Computational Model. 235-256
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AmamiyaT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AmamiyaT89
Makoto Amamiya, Rin-Ichiro Taniguchi:
An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. 257-281
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Sanders89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Sanders89
Jeff W. Sanders:
A Hierarchical Approach to Hardware Design. 282-296
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Yoshida89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Yoshida89
Norihiko Yoshida:
Transformational Derivation of Systolic Arrays. 297-311
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Yasuura89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Yasuura89
Hiroto Yasuura:
Locally Computable Coding for Unary Operations. 312-323

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.