Entry Touili:2010:VPP 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{Touili:2010:VPP,
author = "Tayssir Touili and Mohamed Faouzi Atig",
title = "Verifying parallel programs with dynamic communication
structures",
journal = j-THEOR-COMP-SCI,
volume = "411",
number = "38--39",
pages = "3460--3468",
day = "28",
month = aug,
year = "2010",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Wed Aug 31 09:12:45 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- communication,
411(38)3516,
412(1)2,
412(23)2524,
412(24)2611,
412(29)3616,
412(30)3906,
412(33)4285,
412(52)7169,
418(1)37,
429(1)87,
429(1)185,
457(1)45,
486(z)11,
486(z)43,
501(z)101,
503(z)109,
512(z)130,
524(z)68,
528(z)79
- dynamic,
174(1)203,
411(7)1013,
411(20)2052,
411(21)2116,
411(26)2467,
412(16)1470,
412(21)2188,
412(24)2564,
412(24)2668,
412(24)2691,
412(29)3418,
412(30)3800,
412(30)3932,
412(43)6020,
412(45)6371,
426(1)75,
439(1)41,
445(1)82,
446(1)48,
447(1)44,
463(1)114,
468(z)37,
475(z)92,
493(z)46,
500(z)90,
504(z)3,
504(z)26,
511(z)66,
512(z)84,
516(z)1,
526(z)58,
526(z)108,
544(z)74,
554(z)217,
559(z)34
- parallel,
411(7)1140,
411(25)2359,
411(40)3553,
411(44)3994,
411(48)4200,
412(4)458,
412(7)583,
412(8)686,
412(16)1484,
412(17)1581,
412(22)2398,
412(32)4212,
412(39)5225,
412(39)5333,
412(41)5714,
414(1)1,
444(1)87,
460(1)10,
468(z)114,
489(z)48,
497(z)68,
497(z)108,
507(z)34,
524(z)68,
525(z)10,
533(z)1,
543(z)24,
543(z)52,
551(z)66,
560(z)190
- program,
411(11)1372,
411(20)2052,
411(47)4055,
412(44)6115,
412(49)6809,
412(52)7087,
413(1)142,
415(1)60,
480(z)69,
496(z)50,
496(z)154,
498(z)58,
517(z)75,
538(z)37,
560(z)364
- structure,
400(1)19,
411(1)188,
411(19)1949,
411(26)2423,
411(40)3527,
412(1)159,
412(8)892,
412(18)1705,
412(20)1941,
412(22)2451,
412(25)2766,
412(32)4187,
412(37)4893,
412(39)5176,
412(49)6809,
412(50)6879,
417(1)36,
418(1)48,
429(1)164,
438(1)28,
447(1)44,
459(1)113,
468(z)12,
475(z)47,
475(z)126,
483(z)51,
493(z)98,
497(z)112,
502(z)1,
502(z)239,
503(z)109,
504(z)3,
504(z)52,
508(z)41,
516(z)78,
521(z)29,
527(z)1,
540(z)133,
546(z)3,
546(z)32,
546(z)145,
550(z)107,
559(z)34,
560(z)292
- Touili, Tayssir,
549(z)127
- Verifying,
412(50)6959