Entry Dowsing:1986:PBB from compj.bib
Last update: Sun Nov 30 02:31:30 MST 2003
Top |
Symbols |
Numbers |
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{Dowsing:1986:PBB,
author = "R. D. Dowsing and R. Elliott",
title = "Programming a Bounded Buffer Using the Object and Path
Expression Constructs of {Path Pascal}",
journal = j-COMP-J,
volume = "29",
number = "5",
pages = "423--429",
month = oct,
year = "1986",
CODEN = "CMPJA6",
ISSN = "0010-4620",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compendex database;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/423.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/424.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/425.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/426.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/427.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/428.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/429.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of East Anglia, Norwich, Engl",
affiliationaddress = "Univ of East Anglia, Norwich, Engl",
classcodes = "C6110 (Systems analysis and programming); C6150J
(Operating systems)",
classification = "723",
corpsource = "Sch. of Inf. Systems, East Anglia Univ., Norwich, UK",
keywords = "bounded buffer; bounded buffers; computer programming;
computer programming languages; concurrent processes;
correctness demonstrations; informal; monitors;
multiprogramming; object expression constructs; Pascal;
path expression constructs; Path Pascal; path Pascal;
programming; requirements; synchronisation",
treatment = "P Practical",
}
Related entries
- bounded,
14(4)375,
16(3)276,
25(1)52,
35(2)177,
35(5)514,
41(4)231
- buffer,
16(4)303,
19(3)238,
19(4)306,
21(3)219,
22(3)203,
22(4)323,
27(3)270,
27(4)321,
29(3)229,
35(1)52,
37(4)289,
37(8)691,
39(6)483
- concurrent,
18(3)206,
18(4)375,
20(2)132,
20(4)290,
22(2)142,
22(3)234,
25(1)17,
25(1)37,
28(5)449,
28(5)466,
29(5)404,
29(6)500,
30(5)437,
31(2)165,
32(4)290,
32(4)297,
32(4)341,
33(2)147,
33(2)185,
33(6)482,
33(6)494,
34(1)80,
34(4)289,
34(4)302,
34(4)311,
34(4)320,
35(2)157,
35(3)256,
35(4)361,
36(1)32,
36(8)741,
36(8)778,
37(2)129,
37(5)407,
37(6)519,
38(3)245,
38(7)578,
39(5)439,
39(6)483,
41(3)145,
42(8)627
- construct,
17(2)121,
18(2)140,
19(2)170,
20(3)280-1,
22(1)53,
27(1)83,
27(2)97,
28(2)162,
29(5)404,
29(6)506,
30(6)487,
31(3)243,
31(6)531,
32(1)90,
33(1)31,
35(4)332
- correctness,
15(2)130,
17(2)143,
18(1)55,
20(2)151,
22(3)240,
23(1)41,
27(3)230,
29(6)531,
30(2)168,
30(4)376,
31(3)229,
31(4)289,
31(6)503,
32(5)437,
33(3)204,
37(4)289,
37(7)561,
37(8)698,
38(2)121,
38(2)131,
38(2)152,
38(2)171,
38(9)695,
39(1)52,
39(3)184,
39(3)203,
39(6)511
- expression,
4(1)10,
5(4)332,
6(1)67,
6(4)308,
12(4)365,
14(3)312,
15(1)13,
15(3)222,
17(2)99,
18(3)239,
19(3)229,
19(3)238,
19(3)276,
20(4)353,
20(4)356,
20(4)378,
24(3)288,
25(2)239,
25(3)316,
25(3)340,
26(3)193,
26(4)366,
29(5)416,
30(2)128,
30(4)289,
31(3)220,
31(3)243,
32(1)24,
32(5)461,
33(1)79,
36(7)623,
38(2)131,
39(5)408
- informal,
14(4)391,
19(1)32,
28(1)59,
35(3)233,
35(6)547,
37(9)753
- monitor,
19(3)238,
22(1)28,
26(3)235,
29(5)396,
31(5)437,
31(5)465,
32(1)45,
36(2)168
- multiprogramming,
11(3)247,
14(1)13,
14(4)348,
15(1)32,
18(4)375,
19(1)40,
21(2)154,
22(3)203,
22(3)246,
22(4)323,
24(3)230,
25(1)121,
30(1)20,
30(3)193,
30(6)558,
32(2)162,
32(4)341
- Pascal,
21(2)190,
22(2)142,
24(2)112,
24(4)384,
25(1)17,
25(2)176,
25(2)248,
25(3)289,
25(3)340,
26(2)164,
26(2)187,
26(4)366,
27(4)348,
27(4)373,
28(2)134,
28(3)270,
28(4)391,
29(2)176,
29(3)246,
29(3)277,
30(1)52,
30(3)277,
30(4)337,
30(4)355,
30(4)372,
31(1)1,
31(1)9,
31(6)553,
31(6)557,
32(2)152,
33(2)147,
34(1)64,
37(5)399
- path,
10(3)306,
10(3)307,
10(3)308,
12(1)38,
14(2)199,
19(2)170,
19(3)238,
20(4)330,
22(2)98,
23(2)161,
23(2)188,
23(3)207,
27(2)178,
28(5)501,
29(6)553,
30(1)43,
30(1)77,
31(1)41,
32(1)24,
32(1)68,
32(3)194,
32(3)228,
33(5)408,
33(6)547,
34(4)350,
34(4)358,
34(5)444,
34(6)493,
34(6)551,
35(1)71,
35(4)361,
36(5)504,
36(5)515,
36(6)588,
36(7)668,
39(1)14,
39(2)133,
39(7)626,
42(7)609
- requirement,
5(4)320,
11(2)236,
15(3)271,
17(1)59,
17(2)99,
17(4)295,
17(4)377,
19(2)104,
25(2)235,
26(2)113,
27(2)143,
28(1)73,
28(2)97,
28(2)128,
28(4)414,
30(1)16,
31(5)426,
31(6)553,
32(1)1,
32(3)212,
32(3)252,
33(5)453,
34(2)143,
34(2)173,
34(3)215,
34(4)362,
35(1)30,
36(2)153,
36(7)654,
37(5)357,
37(6)499,
37(7)610,
37(7)621,
37(9)753,
38(4)271,
38(6)434,
38(6)443,
38(10)765,
38(10)785,
39(5)386
- synchronisation,
18(4)375,
20(2)128,
20(2)156,
22(3)267,
22(4)332,
24(1)78,
29(2)109,
29(3)229,
29(6)506,
30(6)487,
31(6)496,
32(1)24,
32(1)45,
32(3)246,
32(5)461,
33(6)508,
35(1)52,
35(4)361,
36(1)4,
36(1)19,
36(1)78,
37(6)519,
37(7)621,
39(6)483