A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.

Journal of Computer Science and Cybernetics
doi 10.15625/1813-9663/19/3/1533
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Publishing House for Science and Technology, Vietnam Academy of Science and Technology

Related search

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Structural Testing Criteria for Concurrent Programs Considering Loop Executions

2019English

A Logic for Knowledge, Correctness, and Real Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Real Time Memory Manager for the Real Time Specification for Java

English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

A Formal Specification of dMARS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Real-Time Transaction Processing

1992English

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

IEEE Transactions on Software Engineering
Software
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy