Science of Computer Programming, Volume 21

Volume 21, Number 1, August 1993

E. Pascal Gribomont: Concurrency Without Toil: A Systematics Method for Parallel Program Design. 1-56
Bernhard Möller: Towards Pointer Algebra. 57-90

Selected Papers of the Conference on Theoretical Aspects of Computer Software (TACS '91), 24-27 September 1991, Sendai, Japan

Krzysztof R. Apt, Masami Hagiya: Foreword: Selected Papers of TACS 1991. 91-92
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson: Authentification and Delegation with Smart-Cards. 93-113
Bernhard Steffen: Generating Data Flow Analysis Algorithms from Modal Specifications. 115-139
John C. Mitchell: On Abstraction and the Expressive Power of Programming Languages. 141-163
Shin-ya Nishizaki: Programs with Continuations and Linear Logic. 165-190

Ambuj K. Singh, Mohamed G. Gouda: Rankers: A Classification of Synchronization Problems. 191-223
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich: Axiomatizing CCS, Nets and Processes. 225-261
Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. 263-291