Entry Lipski:1981:FAT from jalg.bib
Last update: Sat Oct 14 02:35:45 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Lipski:1981:FAT,
author = "Witold {Lipski, Jr.} and Christos H. Papadimitriou",
title = "A fast algorithm for testing for safety and detecting
deadlocks in locked transaction systems",
journal = j-J-ALG,
volume = "2",
number = "3",
pages = "211--226",
month = sep,
year = "1981",
CODEN = "JOALDV",
DOI = "https://doi.org/10.1016/0196-6774(81)90023-7",
ISSN = "0196-6774 (print), 1090-2678 (electronic)",
ISSN-L = "0196-6774",
bibdate = "Tue Dec 11 09:13:50 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib",
URL = "http://www.sciencedirect.com/science/article/pii/0196677481900237",
acknowledgement = ack-nhfb,
fjournal = "Journal of Algorithms",
journal-URL = "http://www.sciencedirect.com/science/journal/01966774",
}
Related entries
- detecting,
53(1)1
- fast,
1(2)187,
1(3)259,
2(2)107,
3(1)45,
4(4)332,
5(1)22,
7(3)369,
7(4)567,
8(3)305,
9(1)83,
9(2)205,
9(2)276,
10(1)35,
10(2)157,
10(2)170,
10(3)352,
11(3)441,
11(4)581,
12(4)607,
13(4)564,
16(1)110,
18(3)629,
19(1)1,
21(1)71,
26(2)291,
27(1)129,
28(1)40,
30(2)344,
33(1)15,
37(1)85,
37(2)267,
43(2)177,
45(1)16,
46(1)21,
47(2)104
- Lipski, Jr., Witold,
1(3)235,
2(1)63
- Papadimitriou, Christos H.,
5(2)231,
7(1)134,
8(1)122,
10(1)109
- safety,
37(2)538
- system,
1(3)259,
2(3)261,
3(1)31,
4(2)137,
4(4)353,
5(3)408,
5(4)526,
11(3)462,
13(4)564,
25(2)221,
34(1)109,
35(1)122,
42(1)135,
44(2)321,
45(2)126,
55(2)101
- testing,
13(3)353,
30(2)344,
47(2)87,
55(1)21
- transaction,
7(1)146