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

DOI10.1002/SPE.4380131202zbMATH Open0519.68030OpenAlexW2073371117MaRDI QIDQ3668842FDOQ3668842

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

• Communicating sequential processes
• Title not available (Why is that?)
• 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)