Entry Galpin:2011:SEB 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{Galpin:2011:SEB,
author = "Vashti Galpin and Jane Hillston",
title = "A semantic equivalence for {Bio-PEPA} based on
discretisation of continuous values",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "21",
pages = "2142--2161",
day = "6",
month = may,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Tue Mar 29 08:34:03 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
- based,
411(1)285,
411(26)2467,
411(40)3614,
411(44)3923,
412(21)2188,
412(23)2556,
412(42)5820,
412(45)6382,
415(1)60,
426(1)91,
429(1)87,
431(1)2,
434(1)53,
445(1)52,
451(1)70,
453(1)98,
454(1)240,
460(1)78,
494(z)112,
499(z)88,
520(z)51,
520(z)62,
536(z)1,
543(z)46,
560(z)33
- Bio-PEPA,
419(1)26
- continuous,
411(29)2670,
411(34)3031,
411(40)3625,
412(26)2827,
412(28)3378,
412(45)6235,
463(1)114,
517(z)1,
546(z)176
- equivalence,
411(16)1818,
412(43)6058,
413(1)73,
429(1)155,
433(1)1,
456(1)100,
529(z)69,
546(z)63,
551(z)1,
560(z)326
- Galpin, Vashti,
412(43)6058
- Hillston, Jane,
419(1)26
- PEPA, Bio-,
419(1)26
- semantic,
411(11)1372,
411(19)1928,
411(37)3348,
411(47)4123,
412(11)931,
412(17)1557,
412(20)1884,
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,
537(z)42,
546(z)188,
551(z)1,
560(z)364
- value,
434(1)23,
452(1)21,
560(z)82