Abstract
In this chapter we will give a comprehensive description of the B AMN language, building up from the level of elementary mathematics and “generalised substitutions” (the means by which B AMN specifies state transformations) to the level of machines and the visibility relationships induced between machines by the structuring mechanisms (USES, INCLUDES, EXTENDS, etc.).
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
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Lano, K. (1996). The Foundations of B AMN. In: The B Language and Method. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-1494-9_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1494-9_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-76033-7
Online ISBN: 978-1-4471-1494-9
eBook Packages: Springer Book Archive