Model-checking of correctness conditions for concurrent objects

Information and Computation

Volumn 160, Issue 1-2, 2000, Pages 167-188

  Alur, Rajeev ^a,b   McMillan, Ken ^c   Peled, Doron ^a,d  

^a LUCENT TECHNOLOGIES   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c CADENCE DESIGN SYSTEMS   (United States)

^d TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; LINEARIZATION; PROBLEM SOLVING;

CONCURRENT OBJECTS;

FORMAL LANGUAGES;

EID: 0034632152     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1999.2847     Document Type: Article

References (11)

1. Aalbersberg, I. J., and Hoogeboom, H. J. (1989), Characterizations of the decidability of some problems for regular trace languages, Math. Systems Theory 22, 1-19.
2. Bernstein, P. A., Hadzilacos, V., and Goodman, N. (1987), "Concurrency control and Recovery in Database Systems," Addison-Wesley, Reading, MA.
3. Eswaran, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L. (1976), The notions of consistency and predicate locks in a relational database system, Commun. Assoc. Comput. Mach. 8, 624-633.
4. Flé, M. P., and Roucairol, G. (1985), Maximal serializability of iterated transaction, Theoret. Comput. Sci. 38, 1-16.
5. Gibbons, P., and Korach, E. (1992), The complexity of sequential complexity, in "Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing," pp. 317-325.
6. Herlihy, M. P., and Wing, J. M. (1990), Linearizability: A correctness condition for concurrent objects, ACM Trans. Progrg. Lang. Systems 12, 463-492.
7. Lamport, L. (1979), How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Trans. Comput. 28, 690-691.
8. Lynch, N., Merritt, M., Weihl, W., and Fekete, A. (1994), "Atomic Transactions," Morgan Kaufmann, San Mateo, CA.
9. Mazurkiewicz, A. (1987), Trace theory, in "Advances in Petri Nets: Proceedings of an Advanced Course," Lecture Notes in computer Science, Vol. 255, pp. 279-324, Springer-Verlag, Berlin.
10. Ochmaǹski, E. (1995), Recognizable trace languages, in "The Book of Traces" (V. Diekert and G. Rozenberg, Eds.), pp. 67-204, World Scientific, Singapore.
11. Papadimitriou, C. H. (1986), "The Theory of Database Concurrency Control," Computer Science Press, New York.