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{Hull:1986:ICN,
author = "M. Elizabeth C. Hull",
title = "Implementations of the {CSP} Notation for Concurrent
Systems",
journal = j-COMP-J,
volume = "29",
number = "6",
pages = "500--505",
month = dec,
year = "1986",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/29.6.500",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:22 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/29/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/;
Parallel/transputer.bib",
URL = "http://comjnl.oxfordjournals.org/content/29/6/500.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/500.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/501.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/502.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/503.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/504.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_06/tiff/505.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of Ulster at Jordanstown, Newtownabbey, North
Irel",
affiliationaddress = "Univ of Ulster at Jordanstown, Newtownabbey,
North Irel",
classcodes = "C6110 (Systems analysis and programming); C6140D (High
level languages)",
classification = "723",
corpsource = "Dept. of Comput. Sci., Ulster Univ., Jordanstown, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "communicating sequential processes; computer
programming --- Theory; computer programming languages;
computer software --- Design; concurrent systems;
COSPOL; csp; CSP notation; CSP/80; high level
languages; OCCAM; parallel programming",
treatment = "P Practical",
}
Related entries
- communicating,
24(1)78,
26(3)277,
29(2)109,
29(6)506,
30(5)386,
30(6)498,
32(5)399
- concurrent,
25(1)17,
25(1)37,
28(5)449,
28(5)466,
29(5)404,
29(5)423,
30(5)437,
31(2)165,
32(4)297,
32(4)341
- high,
23(2)124,
23(2)153,
24(1)56,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(3)228,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)37,
27(1)83,
27(2)97,
27(2)151,
28(1)34,
28(3)231,
28(3)250,
28(4)391,
29(2)118,
29(3)229,
29(3)253,
29(4)289,
29(4)340,
29(6)506,
29(6)538,
30(2)128,
30(5)437,
30(6)487,
30(6)558,
31(2)99,
31(2)110,
31(3)220,
31(3)243,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- Hull, M. Elizabeth C.,
27(4)289
- implementation,
23(3)212,
23(3)233,
24(1)71,
24(2)191,
24(4)384-2,
25(1)74,
25(3)307,
25(3)399,
25(4)471,
26(2)134,
26(2)164,
26(2)187,
26(3)235,
27(2)127,
27(3)260,
28(1)22,
28(2)97,
28(2)128,
28(4)391,
29(2)97,
29(3)201,
29(3)269,
30(2)97,
30(2)157,
30(3)282,
30(3)282-1,
30(5)393,
30(5)420,
31(1)56,
31(2)116,
31(2)125,
31(2)147,
31(4)330,
31(5)398,
31(6)531,
31(6)545,
32(1)93,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)267,
32(4)312,
32(5)422
- level,
23(2)124,
23(2)153,
24(1)25,
24(1)56,
24(1)62,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
25(4)429,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(2)188,
26(3)228,
26(3)235,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)83,
27(2)97,
27(2)151,
27(4)334,
28(1)34,
28(3)250,
28(4)357,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)506,
29(6)538,
30(1)52,
30(2)128,
30(5)437,
30(6)487,
31(2)99,
31(2)110,
31(3)220,
31(3)229,
31(3)243,
31(4)344,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- notation,
25(3)316,
28(3)250,
28(4)357,
29(3)241,
32(5)413
- 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)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
- sequential,
23(1)37,
24(1)78,
25(4)486,
26(1)43,
26(3)277,
27(4)321,
28(2)179,
28(3)291,
29(4)368,
29(6)506,
30(3)258,
30(5)437,
30(6)529,
30(6)565,
31(1)41,
32(1)93,
32(2)152