@inproceedings{73ede383a46b40b08c0b3b6eb36c73fa,
title = "An introduction to PSF_d",
abstract = "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.",
author = "S. Mauw and G.J. Veltink",
year = "1989",
doi = "10.1007/3-540-50940-2_41",
language = "English",
isbn = "3-540-50940-2",
volume = "2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "272--285",
editor = "J. Diaz and F. Orejas",
booktitle = "Tapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)",
}