Functional behavior in data spaces

DOI10.1007/BF00289044MaRDI QIDQ1244988zbMATH OpenFDO

Authors Thomas N. Hibbard, Armin B. Cremers

Publication date 1978

Published in Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3523120 (Why is no real title available?)
• scientific article; zbMATH DE number 3551848 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3273524 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3415379 (Why is no real title available?)
• scientific article; zbMATH DE number 3420253 (Why is no real title available?)
• A Powerdomain Construction
• Correctness of parallel programs: The Church-Rosser approach
• Formal verification of parallel programs
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
• Parallel program schemata
• Prevention of system deadlocks
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• Proving assertions about parallel programs
• The correctness of nondeterministic programs

This page was built for publication: Functional behavior in data spaces

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