ICS PAS Report 669. Warsaw, Poland: Polish Academy of Sciences, Institut of Computer Science, October 1989.
Abstract: A method of representing behaviours by expressions denoting a variant of labelled event structures is defined. The expressions, called behaviour expressions, may contain variables for which other behaviour expressions may be substituted. A concept of equivalence of behaviour expressions is introduced such that equivalences are preserved under substitution.
Keywords: behaviour expression; behaviour equivalence; labelled event structure.