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 (4)

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

This page was built for publication: Universal types in concurrent Pascal