View of A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases.

Return to Article Details A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases. Download Download PDF