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

DOI10.1002/SPE.4380131202MaRDI QIDQ3668842zbMATH OpenOpenAlexFDO

Authors

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)

Cites work

• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• Communicating sequential processes
• The programming language Pascal

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3668842)