Abstract
The author has been involved for more than fifteen years in the design, study and implementation of coordination program structures. These structures were designed with a clear conviction that data structuring and program structuring were two closely related issues. Very early, it was recognized that set data structuring was a key concept for the design of programs with a high potential for parallelism. This paper offers a personal perspective of this research activity which culminated with the Gamma formalism.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.P. Banâtre, J.P. Routeau and L. Trilling. An event-driven compiling technique, Communications of the ACM, Vol. 22-1, P. 34–42, January 1979.
F. Andri, J.P. Banâtre and J.P. Routeau. A multiprocessing approach to compile-time symbol resolution, ACM Transactions On Programming Languages And Systems, Vol. 3-1, P. 11–23, January 1981.
J.P. Banâtre and D. Le Métayer. Programming by multiset transformation. Communications of the ACM, Vol. 36-1, P. 98–111, January 1993.
J.P. Banâtre and D. Le Métayer. The Gamma model and its discipline of programming. Science of Computer Programming, Vol. 15, P. 55–77, 1990.
J.P. Banâtre and D. Le Métayer. Gamma and the chemical reaction model: ten years after. Proceedings of the Coordination'95 workshop, IC-Press, London, 1996.
N. Dershowitz and Z. Manna. Proving termination by multiset ordering. Communications of the ACM, Vol. 22-8, P. 465–476, August 1979.
J.P. Banâtre, M. Banâtre and P. Quinton. Constructing parallel programs and their termination proofs. Proc. Int. Conf. on Parallel Processing. Bellaire, USA, August 1982.
J.Backus. Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs. Communications of the ACM, Vol. 21-8, P. 613–641, August 1978.
E.W. Dijkstra. A discipline of programming. Prentice Hall, Englewood Cliffs, NJ, 1976.
D. Gries. The science of programming. Springer Verlag, New-York, 1981.
C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, Vol. 21-8, P. 666–677, August 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Banâtre, JP. (1996). Parallel multiset processing: From explicit coordination to chemical reaction. In: Ciancarini, P., Hankin, C. (eds) Coordination Languages and Models. COORDINATION 1996. Lecture Notes in Computer Science, vol 1061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61052-9_35
Download citation
DOI: https://doi.org/10.1007/3-540-61052-9_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61052-6
Online ISBN: 978-3-540-49936-7
eBook Packages: Springer Book Archive