Functional behavior in data spaces

DOI10.1007/BF00289044zbMath0374.68010MaRDI QIDQ1244988

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

• Proving assertions about parallel programs
• Correctness of parallel programs: The Church-Rosser approach
• Parallel program schemata
• The correctness of nondeterministic programs
• Formal verification of parallel programs
• A Powerdomain Construction
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• Prevention of system deadlocks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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