Transaction decomposition: Refinement of timing constraints (extended abstract)

MaRDI QIDQ4370283zbMATH OpenFDO

Authors Jan Haveman

Publication date 14 January 1998

zbMATH Keywords

distributed real-time systemsspecification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A specification-oriented semantics for the refinement of real-time systems
• A temporal logic for real-time partial ordering with named transactions
• A temporal logic for real-time partial-ordering with named transactions
• Refinement of atomicity in real-time concurrent systems
• Specification and analysis of timing requirements for real-time systems in the CBD approach

Cited in

(1)

• Transaction commit in a realistic timing model

Describes a project that uses

Uses Software

• MASCOT

This page was built for publication: Transaction decomposition: Refinement of timing constraints (extended abstract)

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