PSF -- a retrospective

DOI10.3233/FI-2010-269MaRDI QIDQ3065018zbMATH OpenOpenAlexFDO

Authors Gerrit Jan Veltink

Publication date 3 January 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-269

zbMATH Keywords

ACPalgebraic data typesASFconcurrencyformal specificationparallel systemsprocess algebraPSF

Mathematics Subject Classification ID

History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(4)

• \(\text{PFA}(S)[S]\) for the masses
• scientific article; zbMATH DE number 4157900 (Why is no real title available?)
• Ode to the PST
• Revisiting sequential composition in process calculi

This page was built for publication: PSF -- a retrospective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3065018)