Entry Aceto:2014:AWS 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{Aceto:2014:AWS,
author = "Luca Aceto and David de Frutos Escrig and Carlos
Gregorio-Rodr{\'\i}guez and Anna Ingolfsdottir",
title = "Axiomatizing weak simulation semantics over {BCCSP}",
journal = j-THEOR-COMP-SCI,
volume = "537",
number = "??",
pages = "42--71",
day = "5",
month = jun,
year = "2014",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Jun 28 08:55:45 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397513002144",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- Aceto, Luca,
412(28)3035,
412(28)3045,
458(1)1
- Axiomatizing,
534(z)2
- Ingolfsdottir, Anna,
412(28)3035,
412(28)3045,
458(1)1
- semantic,
411(11)1372,
411(19)1928,
411(37)3348,
411(47)4123,
412(11)931,
412(17)1557,
412(20)1884,
412(21)2142,
412(25)2701,
412(25)2746,
412(38)5043,
412(38)5070,
412(44)6135,
415(1)60,
431(1)165,
435(1)21,
455(1)31,
480(z)43,
492(z)40,
515(z)19,
517(z)34,
546(z)188,
551(z)1,
560(z)364
- simulation,
411(1)266,
411(22)2239,
413(1)21,
417(1)66,
431(1)75,
431(1)181,
485(z)1,
529(z)11,
560(z)348
- weak,
411(50)4291,
412(28)3283,
412(34)4405,
453(1)65,
477(z)32,
483(z)75,
494(z)2,
501(z)1,
536(z)42