Book contents
- Frontmatter
- Contents
- List of Boxes
- Preface
- Part I Introduction
- Part II Action Notation
- Part III Semantic Descriptions
- Part IV Conclusion
- Appendices
- Appendix A AD Action Semantics
- Appendix B Action Notation
- Appendix C Operational Semantics
- Appendix D Informal Summary
- Appendix E Data Notation
- Appendix F Meta-Notation
- Appendix G Assessment
- Bibliography
- Symbol Index
- Concept Index
Appendix D - Informal Summary
Published online by Cambridge University Press: 19 January 2010
Book contents
- Frontmatter
- Contents
- List of Boxes
- Preface
- Part I Introduction
- Part II Action Notation
- Part III Semantic Descriptions
- Part IV Conclusion
- Appendices
- Appendix A AD Action Semantics
- Appendix B Action Notation
- Appendix C Operational Semantics
- Appendix D Informal Summary
- Appendix E Data Notation
- Appendix F Meta-Notation
- Appendix G Assessment
- Bibliography
- Symbol Index
- Concept Index
Summary
The systematic informal description of action notation summarizes Part II, and gives further details. It is intended for reference
To make it self-contained, it starts by repeating most of the introduction to the concepts of actions, data, and yielders given in Section 1.5.2.
The symbols of action notation are explained below in the same order as they are introduced in Part II and Appendix B, as indicated below. See the start of Appendix B for a more detailed overview of the modular structure of action notation.
- Type
- Chapter
- Information
- Action Semantics , pp. 296 - 315Publisher: Cambridge University PressPrint publication year: 1992