Entry Dowsing:1986:PBB 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{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",
DOI = "https://doi.org/10.1093/comjnl/29.5.423",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:21 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/29/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/",
URL = "http://comjnl.oxfordjournals.org/content/29/5/423.full.pdf+html;
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",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
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,
25(1)52
- buffer,
27(3)270,
27(4)321,
29(3)229
- concurrent,
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)297,
32(4)341
- construct,
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
- correctness,
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
- expression,
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
- informal,
28(1)59
- monitor,
26(3)235,
29(5)396,
31(5)437,
31(5)465,
32(1)45
- multiprogramming,
24(3)230,
25(1)121,
30(1)20,
30(3)193,
30(6)558,
32(2)162,
32(4)341
- object,
23(3)212,
23(3)287,
24(4)331,
26(4)360,
27(2)127,
28(1)68,
29(1)38,
31(1)56,
31(2)110,
31(2)116,
32(3)194,
32(4)323,
32(4)333,
32(4)351
- Pascal,
24(2)112,
25(1)17,
25(2)176,
25(2)248,
25(3)289,
25(3)340,
25(4)496,
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
- path,
23(2)161,
23(2)188,
23(3)207,
27(2)178,
29(6)553,
30(1)43,
30(1)77,
31(1)41,
32(1)24,
32(1)68,
32(3)194,
32(3)228
- 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(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)498,
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
- requirement,
25(2)235,
26(2)113,
27(2)143,
27(4)368-1,
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
- synchronisation,
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
- using,
23(1)41,
23(2)142,
23(4)380,
23(4)381,
24(2)118,
24(3)263,
24(3)271,
24(4)295,
24(4)324,
25(1)63,
25(1)84,
26(2)113,
26(4)344,
28(2)112,
28(4)409,
28(4)414,
29(2)118,
29(2)176,
29(2)182,
29(3)201,
29(6)564,
30(1)87,
30(2)176,
30(4)298,
30(4)343,
30(5)437,
30(6)541,
31(3)201,
31(3)269,
31(4)289,
31(6)525,
31(6)567,
31(6)570,
32(2)142,
32(3)273,
32(4)341,
32(5)470