Entry Awerbuch:1991:DPC from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Awerbuch:1991:DPC,
author = "B. Awerbuch and G. Varghese",
title = "Distributed program checking: a paradigm for building
self-stabilizing distributed protocols",
crossref = "IEEE:1991:PAS",
pages = "258--267",
year = "1991",
bibdate = "Thu Apr 5 06:13:50 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- amplification,
1(0)193,
1(0)318
- Awerbuch, B.,
0(0)22,
0(0)32,
0(0)240,
0(0)268,
0(0)380,
0(0)383,
0(0)412,
0(0)459,
0(0)505,
0(0)542,
0(0)638,
1(0)65,
2(0)492,
2(0)503,
2(0)514
- Boolean,
0(0)60,
0(0)332,
0(0)408,
0(0)417,
0(0)422,
0(0)553,
0(0)575,
0(0)594,
0(0)682,
0(0)767,
1(0)211,
1(0)412,
2(0)642
- checking,
0(0)2,
0(0)90,
0(0)268,
0(0)592
- distributed,
0(0)22,
0(0)114,
0(0)240,
0(0)253,
0(0)334,
0(0)344,
0(0)401,
0(0)470,
0(0)505,
0(0)515,
0(0)638,
0(0)659,
0(0)670,
2(0)746
- Dubiner, M.,
1(0)145
- function,
0(0)120,
0(0)170,
0(0)186,
0(0)269,
0(0)309,
0(0)330,
0(0)408,
0(0)458,
0(0)503,
0(0)514,
0(0)523,
0(0)535,
0(0)548,
0(0)553,
0(0)604,
0(0)676,
0(0)682,
0(0)693,
1(0)193,
2(0)628,
2(0)632,
2(0)642
- paradigm,
0(0)320
- probabilistic,
0(0)2,
0(0)4,
0(0)184,
0(0)410,
0(0)664,
0(0)725,
1(0)382
- program,
0(0)60,
0(0)254,
0(0)271,
0(0)309,
0(0)322,
0(0)382,
0(0)544,
0(0)674,
1(0)26,
1(0)327,
2(0)652
- protocols,
0(0)13,
0(0)142,
0(0)226,
0(0)370,
0(0)374,
0(0)380,
0(0)522,
1(0)16,
1(0)420
- self-stabilizing,
0(0)226
- stabilizing, self-,
0(0)226
- Varghese, G.,
0(0)268
- Zwick, U.,
0(0)125,
0(0)310,
0(0)324,
0(0)406,
0(0)452,
0(0)605,
2(0)642