Abstract
We describe an algebraic specification of an abstract syntax for the
construction of sequential transition systems. In these transition
systems actions and states have an equally explicit role. Then the
export mechanism of module algebra is used to control the
visibility of states. It turns out that this leads to systems very
close to the
... read more
