Entry Baeten:1987:RTS from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
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{Baeten:1987:RTS,
author = "J. C. M. Baeten and J. A. Bergstra and J. W. Klop",
title = "Ready-Trace Semantics for Concrete Process Algebra
with the Priority Operator",
journal = j-COMP-J,
volume = "30",
number = "6",
pages = "498--506",
month = dec,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.6.498",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68Q55 (68Q10)",
MRnumber = "88k:68057",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/",
URL = "http://comjnl.oxfordjournals.org/content/30/6/498.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/498.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/499.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/500.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/501.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/502.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/503.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/504.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/505.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/506.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of Amsterdam, Neth",
affiliationaddress = "Univ of Amsterdam, Neth",
classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming
and algorithm theory)",
classification = "722; 723; 921",
corpsource = "Dept. of Comput. Sci., Amsterdam Univ., Netherlands",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "atomic actions; atomic actions with priority;
communicating processes; computer systems, digital;
concrete process algebra; Distributed; distributed
processing; failure semantics; finite processes; graph
theory; graph transformations; mathematical techniques
--- Algebra; priority operator; process; process
semantics; programming; programming theory; readiness;
ready-trace semantics; semantics; theory",
treatment = "T Theoretical or Mathematical",
}
Related entries
- 68Q10,
32(5)399
- 68Q55,
27(3)233,
28(2)162,
32(4)290
- action,
26(1)79,
32(4)323
- algebra,
23(1)73,
25(1)56,
25(2)231,
25(3)397,
25(4)493,
26(1)6,
26(2)184,
27(2)159,
28(2)142,
28(3)340,
29(3)261,
29(5)416,
30(3)268,
31(1)34,
31(3)229,
31(4)313,
31(6)564,
31(6)567,
32(2)122
- atomic,
32(4)323
- communicating,
24(1)78,
26(3)277,
29(2)109,
29(6)500,
29(6)506,
30(5)386,
32(5)399
- failure,
25(3)331,
28(5)466
- finite,
26(4)303,
28(3)343,
28(4)372,
28(4)379,
28(5)498,
30(2)149,
31(1)71,
32(1)16
- graph,
23(3)237,
24(1)85,
25(3)338,
25(3)397,
27(1)86,
27(2)165,
28(1)5,
28(1)44,
28(1)78,
28(2)105,
29(6)531,
29(6)553,
30(1)16,
30(1)20,
30(2)128,
31(1)71,
31(1)76,
31(2)155,
31(3)253,
31(4)289,
31(4)304,
31(6)545,
32(1)45,
32(2)175,
32(4)290,
32(5)461,
32(5)474
- mathematical,
24(2)177,
24(2)180,
24(2)184,
25(1)7,
25(1)56,
25(4)478,
26(1)6,
26(2)97,
26(2)106,
26(3)193,
27(2)165,
27(4)368-1,
28(1)5,
28(1)78,
28(1)89,
28(2)142,
28(2)179,
28(4)414,
28(4)417,
28(4)426,
28(5)498,
28(5)524,
28(5)530,
28(5)538,
29(1)36,
29(1)52,
29(2)171,
29(2)176,
29(2)182,
29(4)378,
29(5)416,
29(6)553,
30(1)16,
30(1)20,
30(1)70,
30(2)128,
30(2)189,
30(3)258,
30(3)268,
30(3)282,
30(4)298,
30(5)458,
30(6)569,
31(1)61,
31(1)71,
31(1)76,
31(2)155,
31(3)229,
31(3)243,
31(3)283,
31(4)364,
31(6)490,
31(6)545,
31(6)557,
31(6)564,
31(6)567,
32(1)45,
32(1)68,
32(1)76,
32(1)86,
32(1)93,
32(2)175,
32(4)351,
32(4)374,
32(4)377
- operator,
28(1)44,
31(1)34,
31(4)325,
32(1)86,
32(4)351
- priority,
25(1)34,
25(4)429,
28(3)264,
30(6)487,
31(3)209,
32(1)24
- process,
23(2)147,
24(1)78,
25(1)7,
25(1)34,
25(1)44,
25(1)116,
25(2)231,
26(1)10,
26(2)113,
26(2)134,
26(3)277,
26(4)381,
27(1)18,
27(4)328,
28(1)73,
28(4)409,
29(2)109,
29(4)373,
29(4)380,
29(5)396,
29(5)423,
29(6)500,
29(6)506,
30(1)20,
30(1)52,
30(2)149,
30(3)201,
30(4)372,
30(5)393,
30(6)487,
30(6)541,
31(3)201,
31(3)248,
31(4)289,
31(4)296,
31(5)426,
32(1)16,
32(1)24,
32(1)45,
32(2)162
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290,
32(5)422
- transformation,
23(1)61,
23(2)161,
23(4)344,
24(3)271,
27(4)301,
28(5)530,
29(2)171,
30(1)37,
30(1)43,
30(2)149,
30(6)512,
31(3)229,
31(3)269,
31(6)517,
32(2)127,
32(3)241,
32(5)445