Abstract: Real-time process algebra (RTPA) is used to describe design patterns formally and explicitly in order to enhance the understandability of their semantics and to facilitate the development of ...

This month students explore one of the “big ideas” in algebraic thinking—patterns. Students build figures that follow a pattern and describe—with words and algebraic expressions—how the figures are ...