Universal types in concurrent Pascal

DOI10.1016/0020-0190(75)90032-0zbMath0304.68008OpenAlexW2070372711MaRDI QIDQ1216943

Per Brinch Hansen

Publication date: 1975

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(75)90032-0

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Testing equivalences for processes, Concurrent algorithms for root searching, Universal types in concurrent Pascal, Language design methods based on semantic principles

Cites Work

• Universal types in concurrent Pascal
• Unnamed Item