Algebra of states and transitions

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 sequential processes encountered in process algebra. This work was sponsored in part by ESPRIT project METEOR (432).