Static Process Algebra as Pre-arithmetical Content for School Arithmetic
Jan Aldert Bergstra · viXra · 2015
Parallel composition in a static setting introduces algebra, in the form of static process algebra, as a modelling tool at the level of primary school mathematics. Static process algebra may play the role of a prearithmetic algebra. Multi-dimensional counters can be used to measure the number of components in a static process expression.