Equational Specification of State Transitions

In Chapter 5 we pointed out that FOCUS supports several styles for writing elementary specifications. In this chapter, we have a closer look at one of these styles, namely, the equational style. Two other styles for elementary specifications are presented in later chapters: Chapter 10 is concerned with the graphical style, and Chapter 12 introduces the A/G style.