ESPRESO—A System for Process Control Software Specification
From MaRDI portal
Publication:3662609
DOI10.1109/TSE.1983.234779zbMath0515.68028MaRDI QIDQ3662609
Publication date: 1983
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
attribute grammar; software specification; process communication; language definition; process control software
68N25: Theory of operating systems