Conference Proceedings

An introduction to PSFd

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1989) 352 LNCS 272-285
DOI: 10.1007/3-540-50940-2_41
8Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

Mauw, S., & Veltink, G. J. (1989). An introduction to PSFd. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 352 LNCS, pp. 272–285). Springer Verlag. https://doi.org/10.1007/3-540-50940-2_41

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free