PSF - A Retrospective

DOI10.3233/FI-2010-269zbMath1211.68274OpenAlexW2102072470MaRDI QIDQ3065018

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

PSFprocess algebraformal specificationconcurrencyparallel systemsACPalgebraic data typesASF

Mathematics Subject Classification ID

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

Related Items (1)

Revisiting sequential composition in process calculi

This page was built for publication: PSF - A Retrospective