Abstract
In this eighth and final chapter we study second order communication. It differs from ordinary—what is also called first order—communication in the following way. The latter arises when one process sends a value along a channel to another one whereas in the former statements rather than values are transmitted. Second order communication provides the programmer with a powerful and elegant abstraction mechanism. One encounters this higher order phenomenon, e.g., in the programming language Concurrent ML. Its semantics can be given within the framework developed in this book as we will show below.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Birkhäuser Boston
About this chapter
Cite this chapter
van Breugel, F. (1998). Second order communication. In: Comparative Metric Semantics of Programming Languages. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-4160-7_9
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4160-7_9
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4612-8680-6
Online ISBN: 978-1-4612-4160-7
eBook Packages: Springer Book Archive