Formalization of Programming Concepts

J. Díaz, I. R. (1981). Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19–25, 1981. Proceedings.

Type

Unclassified

Intellectual base

Unclassified

Year

1981

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Dining philosophers problem
  • Deadlock freedom does not guarantee starvation freedom, centralized arbitration and resource ordering make different liveness and failure assumptions and the dining story is only an isomorphic model.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:df5c5e5fcad0 · see in the full table