Return to Article Details A normal specification of the abort-oriented concurency control for real-time database in duration calculus. Download Download PDF