Last update: Wed Sep 26 02:07:32 MDT 2018
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{Nevison:1999:SSC,
author = "Christopher H. Nevison",
title = "Seminar: safe concurrent programming in {Java} with
{CSP}",
journal = j-SIGCSE,
volume = "31",
number = "1",
pages = "367",
month = mar,
year = "1999",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/384266.299817",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:36 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "We present methods for safe and correct programming
for concurrent threads in Java. The methods are based
on the principles of Concurrent Sequential Processes
(CSP). We demonstrate the use of tools which provide
the structure of CSP within Java to avoid some of the
pitfalls of multithreaded programming using monitors,
the primitive synchronization tool in Java. Several
examples illustrate the use of these tools.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- avoid,
23(4)51,
25(4)5,
27(1)322,
27(3)47,
28(1)78,
28(z)150,
29(1)131,
30(1)212,
30(4)46,
31(3)99
- concurrent,
22(1)89,
22(1)94,
22(1)206,
22(2)38,
23(1)309,
23(3)7,
24(1)46,
24(1)176,
26(3)22,
26(4)59,
27(1)82,
27(1)214,
27(2)31,
28(1)165,
28(1)180,
29(3)77,
30(1)217,
30(1)247,
30(3)185,
31(1)252,
31(3)13,
31(3)91,
31(4)66
- correct,
22(3)21,
23(2)60,
23(3)36,
24(1)92,
26(1)188,
26(1)281,
27(2)25,
29(1)77,
29(1)204,
29(4)62,
30(1)45,
30(3)81,
31(2)48,
31(4)87
- CSP,
25(1)91,
26(4)59,
27(2)31
- demonstrate,
22(2)59,
22(3)25,
24(1)299,
24(2)55,
25(4)33,
26(1)290,
26(1)339,
26(2)52,
26(4)17,
27(1)191,
27(1)287,
28(1)295,
28(3)29,
29(1)272,
29(3)14,
29(3)80,
29(4)38,
31(1)179,
31(3)60,
31(3)79,
31(3)103,
31(3)119,
31(3)167,
31(4)13
- illustrate,
22(3)34,
24(1)76,
24(1)207,
24(3)35,
24(3)53,
26(1)83,
26(1)228,
26(1)238,
26(1)366,
26(2)19,
26(3)29,
27(1)126,
27(1)199,
27(1)263,
27(1)340,
28(1)107,
28(1)160,
28(1)185,
28(1)256,
28(1)343,
28(1)348,
28(2)62,
28(4)36,
29(1)126,
29(1)135,
29(1)238,
29(1)243,
29(3)45,
30(1)48,
30(1)207,
30(1)217,
30(1)277,
30(3)171,
30(3)243,
31(1)53,
31(1)87,
31(1)136,
31(1)286,
31(2)78,
31(3)198,
31(3)206
- monitor,
23(3)7,
24(1)176,
26(3)22,
27(2)31,
27(4)51,
28(1)165,
28(2)40,
29(1)272,
29(1)301,
29(1)345,
30(1)237,
31(1)58,
31(3)60
- multithreaded,
30(1)242
- Nevison, Christopher H.,
27(1)374,
30(4)18
- pitfalls,
22(2)2,
26(1)376,
27(1)322,
30(1)212,
30(2)48
- primitive,
23(2)51,
27(1)19,
28(1)180,
29(1)53,
30(1)267,
30(4)51,
31(1)87,
31(3)91,
31(4)66
- principle,
23(2)21,
23(3)11,
24(1)46,
24(1)76,
24(1)142,
24(1)207,
24(2)29,
24(2)35,
24(4)52,
26(1)26,
26(1)106,
26(4)17,
26(4)29,
26(4)59,
27(1)66,
27(1)126,
27(1)173,
27(1)307,
27(1)331,
27(1)340,
27(1)364,
27(2)49,
27(3)53,
27(4)9,
28(1)112,
28(1)117,
28(1)160,
28(1)190,
28(1)232,
28(1)242,
28(1)319,
28(1)353,
28(3)51,
28(4)55,
29(1)1,
29(1)229,
29(1)360,
29(2)39,
29(3)27,
29(4)58,
30(1)68,
30(1)252,
30(1)322,
30(1)370,
30(3)105,
30(3)185,
30(3)239,
31(1)331,
31(2)78,
31(2)86,
31(3)5,
31(3)139,
31(3)198,
31(4)32,
31(4)35
- safe,
31(1)53,
31(1)58,
31(1)165,
31(2)62
- seminar,
22(4)29,
22(4)49,
24(1)67,
24(1)134,
25(1)141,
26(1)253,
27(1)53,
28(1)93,
29(1)330,
29(1)390,
29(1)393,
29(3)80,
30(1)381,
30(1)382,
30(1)383,
30(1)384,
31(1)370,
31(4)27
- sequential,
23(4)7,
24(1)286,
24(2)35,
24(3)35,
27(1)355,
27(2)31,
28(3)5
- several,
24(1)5,
24(1)53,
24(1)113,
24(1)197,
24(1)299,
24(3)35,
24(3)57,
24(4)27,
24(4)49,
25(1)78,
25(2)29,
25(4)9,
26(1)145,
26(1)198,
26(1)203,
26(1)263,
26(2)61,
26(3)8,
26(4)41,
26(4)51,
26(4)56,
27(1)1,
27(1)61,
27(1)71,
27(1)331,
27(1)350,
27(1)360,
27(2)18,
27(2)31,
27(3)39,
27(3)53,
27(4)13,
28(1)175,
28(1)319,
28(1)358,
28(1)373,
29(1)1,
29(1)6,
29(1)209,
29(1)243,
29(1)248,
29(1)282,
29(2)17,
29(3)6,
29(3)42,
29(3)100,
29(3)120,
30(1)87,
30(1)153,
30(1)176,
30(1)207,
30(1)312,
30(1)317,
30(1)331,
30(2)31,
30(3)41,
30(3)175,
30(3)185,
30(3)209,
30(3)219,
30(4)32,
31(1)17,
31(1)63,
31(1)92,
31(1)179,
31(1)232,
31(1)271,
31(1)336,
31(1)345,
31(1)346,
31(3)40,
31(3)99,
31(3)163,
31(3)175,
31(3)208,
31(4)13,
31(4)48
- synchronization,
22(1)6,
24(1)176,
24(3)45,
25(1)218,
26(1)344,
27(2)31,
29(1)53,
31(1)58
- thread,
26(1)366,
27(1)141,
28(1)165,
30(4)16,
31(1)68,
31(3)40,
31(3)151