Colin Stirling An Introduction to Modal and Temporal Logics for CCS. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:2-20 [Conf]
David Walker Some Results on the pi-Calculus. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:21-35 [Conf]
George M. Reed, A. W. Roscoe Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:36-63 [Conf]
Takayasu Ito Logic of Execution: An Outline. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:79-90 [Conf]
Yuuji Ichisugi, Akinori Yonezawa Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:92-109 [Conf]
Etsuya Shibayama Reuse of Concurrent Object Descriptions. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:110-135 [Conf]
Mario Tokoro, Kohei Honda The Computational Field Model for Open Distributed Environments. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:136-141 [Conf]
Hidehiko Tanaka A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:157-172 [Conf]
Akikazu Takeuchi, Kazuko Takahashi An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:173-209 [Conf]
Taiichi Yuasa Premature Return - Another Interpretation of the Future Construct. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:210-214 [Conf]
Joseph A. Goguen Semantic Specifications for the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:216-234 [Conf]
Makoto Amamiya, Rin-ichiro Taniguchi An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:257-281 [Conf]
Jeff W. Sanders A Hierarchical Approach to Hardware Design. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:282-296 [Conf]
Norihiko Yoshida Transformational Derivation of Systolic Arrays. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:297-311 [Conf]
Hiroto Yasuura Locally Computable Coding for Unary Operations. [Citation Graph (0, 0)][DBLP] Concurrency: Theory, Language, And Architecture, 1989, pp:312-323 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP