PORTAL language description
From MaRDI portal
Publication:1071490
zbMath0586.68006MaRDI QIDQ1071490
Publication date: 1985
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)
Related Items (2)
Equational specification of partial higher-order algebras ⋮ Real-time properties of indirect recursive procedures
This page was built for publication: PORTAL language description
