External Links

Journal: Science of Computer Programming

Volume 21, Issue 3

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

Volume 21, Issue 2

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

Volume 21, Issue 1

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