Abstract
In later chapters we shall use B AMN to design examples of so-called reactive systems. Reactive systems are systems that maintain an on-going interaction with their environment. Reactive systems may also be composed of parallel interacting subsystems. Examples of such systems include plant controllers and electronic mail services. The action system formalism, introduced by Back and Kurki-Suonio [5], provides a framework for designing reactive systems by providing ways of modelling on-going interaction, techniques for parallel decomposition of systems and, of course, techniques for refining systems.
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.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this chapter
Cite this chapter
Butler, M., Waldén, M. (1999). Parallel Programming with the B Method. In: Sekerinski, E., Sere, K. (eds) Program Development by Refinement. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-0585-5_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0585-5_5
Publisher Name: Springer, London
Print ISBN: 978-1-85233-053-8
Online ISBN: 978-1-4471-0585-5
eBook Packages: Springer Book Archive