ESPRESO—A System for Process Control Software Specification

DOI10.1109/TSE.1983.234779MaRDI QIDQ3662609zbMATH OpenFDO

Authors Jochen Ludewig

Publication date 1983

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1983.234779

zbMATH Keywords

attribute grammarlanguage definitionprocess communicationprocess control softwaresoftware specification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: ESPRESO—A System for Process Control Software Specification

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