Entry vanderMeyden:2013:IFSb from tcs2010.bib
Last update: Sun Mar 31 03:12:29 MDT 2019
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 |
X |
Y |
Z
BibTeX entry
@Article{vanderMeyden:2013:IFSb,
author = "Ron van der Meyden and Chenyi Zhang",
title = "Information flow in systems with schedulers, {Part
II}: Refinement",
journal = j-THEOR-COMP-SCI,
volume = "484",
number = "??",
pages = "70--92",
day = "6",
month = may,
year = "2013",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon May 6 18:32:42 MDT 2013",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397513000285",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- flow,
411(19)1974,
411(31)2798,
412(4)391,
412(24)2577,
412(32)4123,
412(43)6036,
412(48)6712,
416(1)87,
467(z)68,
470(z)93,
524(z)78,
526(z)28,
538(z)124,
538(z)167,
544(z)74,
550(z)1
- II,
412(20)1916,
412(28)3035,
412(30)3881,
502(z)30,
547(z)70
- information,
411(7)1202,
411(19)1918,
411(19)1974,
411(26)2602,
411(29)2696,
412(23)2486,
412(28)3072,
412(29)3731,
412(42)5939,
426(1)25,
454(1)240,
457(1)35,
467(z)68,
493(z)2,
520(z)11,
520(z)43,
538(z)124,
538(z)167
- Meyden, Ron van der,
411(47)4123,
467(z)68
- part,
467(z)68,
471(z)74,
502(z)30
- refinement,
411(38)3444,
412(21)2162,
455(1)2,
455(1)31,
538(z)37
- scheduler,
412(40)5541,
467(z)53,
467(z)68,
538(z)70,
554(z)229
- Zhang, Chenyi,
411(47)4123,
467(z)68