Distributing concurrent Ada programs by source translation

DOI10.1002/SPE.4380171202MaRDI QIDQ3766824zbMATH OpenOpenAlexFDO

Authors Judy M. Bishop, Stephen R. Adams, David Pritchard

Publication date 1987

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

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

zbMATH Keywords

communicationcontrolconcurrencyvirtual nodesclient-server modeldistributed programmingmulti-processorAda tasking transputers

Mathematics Subject Classification ID

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

Recommendations

• Distributed Ada: Developments and Experiences
• Distributing a class of sequential programs
• scientific article; zbMATH DE number 3874575
• Distributed Atomic Actions in Ada 95
• scientific article; zbMATH DE number 4005586

Cites work

• scientific article; zbMATH DE number 3874575 (Why is no real title available?)
• Simulation of Procedure Variables Using Ada Tasks

Cited in

(5)

• Automatic distribution in Pangaea
• Compiler to interpreter: Experiences with a distributed programming language
• scientific article; zbMATH DE number 3874575 (Why is no real title available?)
• scientific article; zbMATH DE number 3926210 (Why is no real title available?)
• Distributed Ada: Developments and Experiences

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Distributing concurrent Ada programs by source translation

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