search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Concurrency: Theory, Language, And Architecture

Keyphrases

Publications

volume 491, 1991

Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings Concurrency: Theory, Language, And Architecture 491 (1991)

1989

Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture (1989)
D. L. McBurney, M. Ronan Sleep
Graph Rewriting as a Computational Model. Concurrency: Theory, Language, And Architecture (1989)
Etsuya Shibayama
Reuse of Concurrent Object Descriptions. Concurrency: Theory, Language, And Architecture (1989)
Makoto Amamiya, Rin-Ichiro Taniguchi
An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. Concurrency: Theory, Language, And Architecture (1989)
Joseph A. Goguen
Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture (1989)
Mario Tokoro, Kohei Honda
The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture (1989)
Yuuji Ichisugi, Akinori Yonezawa
Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. Concurrency: Theory, Language, And Architecture (1989)
Norihiko Yoshida
Transformational Derivation of Systolic Arrays. Concurrency: Theory, Language, And Architecture (1989)
Takayasu Ito
Logic of Execution: An Outline. Concurrency: Theory, Language, And Architecture (1989)
Akikazu Takeuchi, Kazuko Takahashi
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. Concurrency: Theory, Language, And Architecture (1989)
Colin Stirling
An Introduction to Modal and Temporal Logics for CCS. Concurrency: Theory, Language, And Architecture (1989)
David Walker
Some Results on the pi-Calculus. Concurrency: Theory, Language, And Architecture (1989)
George M. Reed, A. W. Roscoe
: a Study of Nondeterminism in Real-Time Concurrency. Concurrency: Theory, Language, And Architecture (1989)
Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura
Concurrent Programming in COB. Concurrency: Theory, Language, And Architecture (1989)
Hiroto Yasuura
Locally Computable Coding for Unary Operations. Concurrency: Theory, Language, And Architecture (1989)
Jeff W. Sanders
A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture (1989)
Taiichi Yuasa
Premature Return - Another Interpretation of the Future Construct. Concurrency: Theory, Language, And Architecture (1989)
Hidehiko Tanaka
A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. Concurrency: Theory, Language, And Architecture (1989)