On the axiomatic verification of concurrent algorithms

Materias

• Electronic data processing
• Computer programming
• Abstract data types (Computer science)

Ediciones (1)

• On the axiomatic verification of concurrent algorithms (1978)

  University of Toronto, Dept. of Computer Science · inglés

Más obras de Christian Lengauer

AA systolic array for pyramidal algorithims

A systolic array for pyramidal algorithims

Domain-specific program generation

Constructive methods for parallel programming