PSFd (Process Specification Formalism — Draft) is a Formal Description Technique developed for specifying concurrent systems. PSFd supports the modular construction of specifications and parameterization of modules. As semantics for PSFd a combination of initial algebra semantics and operational semantics for concurrent processes is used. This report is intended to give a brief introduction to the use of PSFd.
|Title of host publication||Tapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)|
|Editors||J. Diaz, F. Orejas|
|Place of Publication||Berlin|
|Publication status||Published - 1989|
|Name||Lecture Notes in Computer Science|