Clarke and Emerson: synchronization skeletons and branching-time temporal logic

What changed

Specified a temporal-logic check for finite-state synchronization skeletons and discussed synthesis.

Scientific scope

The record is the two-author LNCS 131 proceedings paper: the meeting is named Logic of Programs 1981, while the proceedings publication is dated 1982. The finite-state and complexity assumptions are scoped, and the later journal article and other model-checking formalisms remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the two-author LNCS 131 proceedings paper: the meeting is named Logic of Programs 1981, while the proceedings publication is dated 1982. The finite-state and complexity assumptions are scoped, and the later journal article and other model-checking formalisms remain separate.

Contributors

• Edmund M. Clarke · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
• E. Allen Emerson · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Springer page for synchronization-skeletons paper
• CMU-hosted copy of synchronization-skeletons paper

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction