An introduction to PSF_d

S. Mauw, G.J. Veltink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationTapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)
EditorsJ. Diaz, F. Orejas
Place of PublicationBerlin
ISBN (Print)3-540-50940-2
Publication statusPublished - 1989
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'An introduction to PSF_d'. Together they form a unique fingerprint.

Cite this