An introduction to PSF_d

S. Mauw, G.J. Veltink

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelTapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)
RedacteurenJ. Diaz, F. Orejas
Plaats van productieBerlin
UitgeverijSpringer
Pagina's272-285
Volume2
ISBN van geprinte versie3-540-50940-2
DOI's
StatusGepubliceerd - 1989
Extern gepubliceerdJa

Publicatie series

NaamLecture Notes in Computer Science
Volume352
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'An introduction to PSF_d'. Samen vormen ze een unieke vingerafdruk.

Citeer dit