SCOPUS 정보 검색 플랫폼

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 89-97

Mechanical verification of transaction processing systems

(3) Chkliaev, D a Hooman, J b Van Der Stok, P a

a EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

b RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

Author keywords

Centralized control; Concurrency control; Distributed computing; Distributed databases; Error correction; Formal verification; Interleaved codes; Processor scheduling; Protocols; Transaction databases

Indexed keywords

CONCURRENCY CONTROL; DATABASE SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; DURABILITY; ERROR CORRECTION; FORMAL VERIFICATION; LOCKS (FASTENERS); NETWORK PROTOCOLS;

CENTRALIZED CONTROL; DISTRIBUTED DATABASE; INTERLEAVED CODES; PROCESSOR SCHEDULING; TRANSACTION DATABASE;

DISTRIBUTED DATABASE SYSTEMS;

EID: 51549119627 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ICFEM.2000.873809 Document Type: Conference Paper

Times cited : (7)

References (10)

1
- 0003567016
- Addison-Wesley Publishing Comp.
- P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley Publishing Comp., 1987.
- (1987) Concurrency Control and Recovery in Database Systems
- Bernstein, P.A.¹ Hadzilacos, V.² Goodman, N.³

2
- 0000136686
- Non-blocking atomic commitment
- S. Mullender, editor, Addison-Wesley Publishing Comp.
- O. Babaoglu and S. Toueg. Non-blocking atomic commitment. In S. Mullender, editor, Distributed Systems, pages 147-168. Addison-Wesley Publishing Comp., 1993.
- (1993) Distributed Systems , pp. 147-168
- Babaoglu, O.¹ Toueg, S.²

3
- 84943302714
- Serializability preserving extensions of concurrency control protocols
- Proc. of the A. Ershov Third Int'l Conf. Perspectives of System Informatics
- D. Chkliaev, J. Hooman, and P. van der Stok. Serializability preserving extensions of concurrency control protocols. In Proc. of the A. Ershov Third Int'l Conf. Perspectives of System Informatics, pages 180-193. LNCS 1755, 1999.
- (1999) LNCS , vol.1755 , pp. 180-193
- Chkliaev, D.¹ Hooman, J.² Van Der Stok, P.³

4
- 51549103187
- Mechanical verification of a non-blocking atomic commitment protocol
- IEEE
- D. Chkliaev, J. Hooman, and P. van der Stok. Mechanical verification of a non-blocking atomic commitment protocol. In Proc. of DSVV'2000 (International Workshop on Distributed System Validation and Verification), IEEE, pages E96-E103, 2000.
- (2000) Proc. of DSVV'2000 (International Workshop on Distributed System Validation and Verification) , pp. E96-E103
- Chkliaev, D.¹ Hooman, J.² Van Der Stok, P.³

5
- 0003851050
- Morgan Kaufmann Publishers, Inc.
- J.N. Gray and A.Reuter. Transaction Processing Concepts and Techniques. Morgan Kaufmann Publishers, Inc., 1993.
- (1993) Transaction Processing Concepts and Techniques
- Gray, J.N.¹ Reuter, A.²

6
- 0030407533
- Model and verification of a data manager based on ARIES
- D. Kuo. Model and verification of a data manager based on ARIES. ACM Transactions on Database Systems, 21(4):427-479, 1996.
- (1996) ACM Transactions on Database Systems , vol.21 , Issue.4 , pp. 427-479
- Kuo, D.¹

7
- 0004259552
- Morgan Kaufmann Publishers, Inc.
- N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgan Kaufmann Publishers, Inc., 1994.
- (1994) Atomic Transactions
- Lynch, N.¹ Merritt, M.² Weihl, W.³ Fekete, A.⁴

8
- 35248877347
- For more details
- Prototype Verification System, For more details, see http://pvs.csl.sri.com/.
- Prototype Verification System

9
- 4243638691
- Ph.D. Thesis, University of Twente
- David Spelt. Verification Support for Object Database Design, Ph.D. Thesis, University of Twente, http://wwwhome.cs.utwente.nl/~spelt/thesis.pdf. 1999.
- (1999) Verification Support for Object Database Design
- Spelt, D.¹

10
- 84944907905
- PVS specifications and proofs, See http://www.cs.kun.nl/~hooman/TPS.html.
- PVS Specifications and Proofs

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.