Abstract
We show that our framework for sharing graphs can accommodate Milner’s action calculi [68], a proposed framework for general interactive computation, by showing that our sharing theories, enriched with suitable constructs for interpreting parameterized constants called controls, are equivalent to the action calculi and their higher-order/reflexive extensions [66, 67, 61].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Hasegawa, M. (1999). Action Calculi. In: Models of Sharing Graphs. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0865-8_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0865-8_8
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1221-1
Online ISBN: 978-1-4471-0865-8
eBook Packages: Springer Book Archive