Mauw, S.; Veltink, G. J. A process specification formalism. (English) Zbl 0705.68075 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 2, 85-139 (1990). Summary: We introduce \(PSF_ d\) (process specification formalism - draft) which can be used to formally express processes in the algebra of communicating processes. In order to meet the modern requirements of software engineering, like reusability of software, \(PSF_ d\) supports the modular construction of specifications and parameterization of modules. To be able to deal with the notion of data, ASF (algebraic specification formalism) is embedded in our formalism. As semantics for \(PSF_ d\) a combination of initial algebra semantics and operational semantics for concurrent processes is used. A comparison with programming languages and other formal description techniques for the specification of concurrent systems is included. Cited in 1 ReviewCited in 12 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) 68Q65 Abstract data types; algebraic specification 68N15 Theory of programming languages 68Q42 Grammars and rewriting systems Keywords:specification language; specifications and parameterization of modules; algebraic specification; initial algebra semantics; operational semantics; concurrent processes PDFBibTeX XMLCite \textit{S. Mauw} and \textit{G. J. Veltink}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 2, 85--139 (1990; Zbl 0705.68075)