Abstract
The paradigms of abstraction and composition are central in many areas of computer science and mathematics. For instance, important results concern program refinement and construction, parallel and distributed systems, abstract data types, proof checking, VLSI circuits, and artificial neural networks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(1998). Prologue: Aims, Themes, and Motivations. In: Abstract Compositional Analysis of Iterated Relations. Lecture Notes in Computer Science, vol 1426. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49211-9_1
Download citation
DOI: https://doi.org/10.1007/3-540-49211-9_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65506-0
Online ISBN: 978-3-540-49211-5
eBook Packages: Springer Book Archive