Theoretical Computer Science, Volume 140

Volume 140, Number 1, 20 March 1995

Selected Papers of the Third International Conference on Algebraic Methodology of Software Technology (AMAST'93), University of Twente, Enschede, The Netherlands, 21-25 June 1993

Don Pigozzi, Antonino Salibra:
Lambda Abstraction Algebras: Representation Theorems. 5-52
François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen:
Translations Between Modal Logics of Reactive Systems. 53-71
Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano:
A Theory of Processes with Durational Actions. 73-94
Abdelillah Mokkedem, Dominique Méry:
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. 95-138
Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. 139-177
Eric G. Wagner:
On the Role of Memory in Object-Based and Object-Oriented Languages. 179-199

Volume 140, Number 2, 3 April 1995

Special Issue on Design and Analysis of Geometrical Algorithms for Robot Motion Planning and Vision

Abhi Dattasharma, S. Sathiya Keerthi:
An Augmented Voronoi Roadmap for 3D Translational Motion Planning for a Convex Polyhedron Moving Amidst Convex Polyhedral Obstacles. 205-230
Majid Sarrafzadeh, Sanjeev R. Maddila:
Discrete Warehouse Problem. 231-247
Lakshman Prasad, S. Sitharama Iyengar:
A Note on the Combinatorial Structure of the Visibility Graph in Simple Polygons. 249-263
Nageswara S. V. Rao:
On Fast Planning of Suboptimal Paths Amidst Polygonal Obstacles in Plane. 265-289
R. Sridhar, K. Han, N. Chandrasekharan:
Efficient Algorithms for Shortest Distance Queries on Special Classes of Polygons. 291-300
Mark de Berg, Leonidas J. Guibas, Dan Halperin, Mark H. Overmars, Otfried Schwarzkopf, Micha Sharir, Monique Teillaud:
Reaching a Goal with Directional Uncertainty. 301-317
Guna Seetharaman:
A Simplified Design Strategy for Mapping Image Processing Algorithms on a SIMD Torus. 319-331
Saïd Bettayeb:
On the k-ary Hypercube. 333-339