The Expressive Power of Implicit Specifications
Kim G. Larsen · 1991
In this paper we investigate the expressive power of implicit specifications of concurrent systems. That is, we consider specifications S which do not specify a system P directly, but rather the system in combination with a given environment. Process algebr a provides aal elegant way to represent such environment formally as contexts. Thus an implicit specification of a system P can be formulated as: