Entry Meseguer:2012:FCP 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{Meseguer:2012:FCP,
author = "Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky",
title = "Formalization and correctness of the {PALS}
architectural pattern for distributed real-time
systems",
journal = j-THEOR-COMP-SCI,
volume = "451",
number = "1",
pages = "1--37",
day = "14",
month = sep,
year = "2012",
CODEN = "TCSCDI",
DOI = "https://doi.org/10.1016/j.tcs.2012.05.040",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Jul 14 06:26:47 MDT 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397512005348",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- correctness,
412(20)1941,
412(20)1958,
412(25)2701,
412(28)3242,
496(z)125
- distributed,
411(2)566,
411(7)1013,
411(26)2459,
411(40)3661,
412(8)633,
412(25)2724,
412(31)4007,
412(32)4212,
412(33)4227,
412(41)5760,
429(1)292,
439(1)69,
444(1)17,
457(1)137,
502(z)64,
509(z)3,
512(z)28,
538(z)84,
553(z)37
- formalization,
412(25)2746
- pattern,
411(7)976,
411(26)2433,
411(26)2475,
411(34)3274,
412(27)2911,
412(27)2988,
412(30)3822,
412(36)4824,
412(42)5909,
429(1)180,
437(1)69,
447(1)136,
457(1)166,
479(z)22,
483(z)68,
483(z)162,
485(z)1,
499(z)23,
506(z)17,
518(z)80,
521(z)42,
524(z)68,
525(z)60,
548(z)1
- real-time,
411(4)812,
412(48)6720,
483(z)2,
503(z)61,
515(z)96
- time, real-,
412(48)6720,
483(z)2,
503(z)61,
515(z)96