DTL: A language for the design and implementation of concurrent programs as structured networks

DOI10.1002/SPE.4380131202zbMath0519.68030OpenAlexW2073371117MaRDI QIDQ3668842

No author found.

Publication date: 1983

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380131202

zbMATH Keywords

programming languagesmultiprocessingattributed translation grammarsdistributed translation languagemultiprogramsprogram design methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

Primitives for resource management in a demand-driven reduction model ⋮ Using circular programs to eliminate multiple traversals of data

Cites Work

• Unnamed Item
• The programming language Pascal
• Communicating sequential processes

This page was built for publication: DTL: A language for the design and implementation of concurrent programs as structured networks