Specification and verification of multimedia synchronization in duration calculus

DOI10.1007/BF02948882zbMath1089.68512OpenAlexW2031707979MaRDI QIDQ1429426

Huadong Ma

Publication date: 18 May 2004

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02948882

zbMATH Keywords

livenesssafetyduration calculusmultimediatemporal synchronization

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• DCVALID

Cites Work

• Maintaining knowledge about temporal intervals
• A calculus of durations
• Multimedia data modeling based on temporal logic and \(XYZ\) system
• Duration calculus: Logical foundations
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification and verification of multimedia synchronization in duration calculus