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{Olsson:1995:TTC,
author = "Ronald A. Olsson and Carole M. McNamee",
title = "Tools for teaching {CCRs}, monitors, and {CSP}
concurrent programming concepts",
journal = j-SIGCSE,
volume = "27",
number = "2",
pages = "31--40",
month = jun,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/201998.202008",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:31 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "This paper describes three preprocessors that,
respectively, convert conditional critical region (CCR)
notation, monitor notation, and Communicating
Sequential Processes (CSP) notation into equivalent
programs written in the SR concurrent programming
language. Our goal is to allow students to experiment
and to obtain hands-on experience with these notations.
Together with native SR, the three preprocessors
provide a teaching tool for a wide spectrum of
synchronization mechanisms. This paper also describes
the favorable experience obtained in using the
preprocessors in several courses. The preprocessors are
part of the standard SR distribution, which runs on
most UNIX systems; they are in the public domain and
available via ftp.",
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
- allow,
23(2)51,
23(3)36,
23(4)41,
23(4)51,
24(1)163,
24(1)192,
24(1)207,
24(1)286,
26(1)46,
26(1)160,
26(1)183,
26(1)193,
26(1)198,
26(3)45,
27(1)19,
27(1)39,
27(1)61,
27(1)66,
27(1)146,
27(1)278,
27(4)51,
28(1)107,
28(1)112,
28(2)31,
28(2)40,
28(3)2,
29(1)77,
29(2)35,
29(3)31,
29(3)45,
30(1)1,
30(1)45,
30(1)53,
30(1)102,
30(1)145,
30(1)176,
30(1)267,
30(1)272,
30(1)277,
30(1)297,
30(1)341,
30(1)370,
30(3)86,
30(3)175,
30(3)199,
30(3)203,
30(3)232,
30(3)295,
30(3)310,
30(4)46,
31(1)68,
31(1)286,
31(1)301,
31(1)336,
31(2)48,
31(2)65,
31(3)29,
31(3)99,
31(3)139,
31(3)151,
31(3)209
- available,
23(4)27,
23(4)41,
23(4)51,
24(1)192,
25(2)1,
25(3)26,
26(1)36,
26(1)46,
26(1)97,
26(1)102,
26(4)59,
27(1)1,
27(1)19,
27(1)163,
27(1)173,
27(1)191,
27(1)253,
27(1)340,
27(1)350,
27(3)15,
28(1)107,
28(1)190,
28(1)300,
28(1)338,
28(2)49,
28(3)26,
29(1)20,
29(1)189,
29(1)233,
30(1)1,
30(1)20,
30(1)45,
30(1)92,
30(1)145,
30(1)383,
30(3)148,
30(3)175,
30(3)213,
30(3)310,
31(1)237,
31(1)242,
31(1)276,
31(1)311,
31(2)28,
31(2)51,
31(3)167,
31(3)204
- communicating,
29(3)54
- 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,
28(1)165,
28(1)180,
29(3)77,
30(1)217,
30(1)247,
30(3)185,
31(1)252,
31(1)367,
31(3)13,
31(3)91,
31(4)66
- convert,
30(1)10,
30(1)383
- critical,
23(4)13,
24(1)176,
24(1)246,
26(1)6,
26(1)263,
26(2)9,
28(1)165,
28(1)204,
28(z)14,
29(1)390,
30(1)35,
30(2)43,
30(3)14,
30(4)61
- CSP,
25(1)91,
26(4)59,
31(1)367
- distribution,
23(4)7,
26(1)218,
27(1)163,
29(1)58,
29(3)51,
30(1)20,
30(1)217
- domain,
23(4)13,
24(1)81,
24(2)35,
26(1)319,
26(3)17,
27(1)126,
27(1)273,
27(1)340,
27(2)7,
27(3)39,
28(1)204,
28(3)12,
29(1)126,
29(1)224,
29(3)27,
30(1)6,
30(1)185,
30(1)297,
30(1)370,
30(3)74,
31(1)306,
31(3)71,
31(3)95
- equivalent,
23(3)36,
24(4)49,
26(1)198,
31(1)100,
31(2)28,
31(3)180
- experiment,
22(1)167,
24(1)102,
24(1)246,
24(2)20,
25(2)51,
26(1)66,
26(1)80,
26(1)83,
26(1)286,
26(1)304,
26(1)329,
26(1)408,
26(4)5,
27(1)116,
27(1)146,
27(1)191,
27(1)248,
27(1)317,
27(3)7,
27(4)5,
28(1)24,
28(1)175,
28(1)195,
28(4)45,
29(1)48,
29(1)164,
29(1)209,
29(1)262,
29(1)315,
29(2)17,
29(3)6,
29(3)14,
29(3)77,
29(3)127,
30(1)97,
30(1)140,
30(1)198,
30(1)282,
30(1)322,
30(1)341,
30(3)14,
30(3)28,
31(1)174,
31(1)242,
31(1)311,
31(1)316,
31(3)123,
31(3)204
- ftp,
25(3)26,
26(1)46,
28(1)333
- goal,
22(4)55,
23(2)39,
24(1)5,
24(1)57,
24(1)76,
24(1)268,
24(2)7,
24(3)11,
24(4)15,
24(4)29,
26(1)16,
26(1)150,
26(1)164,
26(1)178,
26(1)198,
26(1)253,
26(1)309,
26(1)334,
26(2)41,
26(4)17,
27(1)76,
27(1)159,
27(1)248,
27(3)53,
28(1)214,
28(1)300,
28(1)353,
28(4)55,
29(1)53,
29(1)96,
29(1)106,
29(1)111,
29(1)140,
29(1)169,
29(1)214,
29(1)219,
29(1)287,
29(2)2,
29(2)11,
29(2)23,
29(3)51,
29(3)103,
29(3)114,
30(1)25,
30(1)87,
30(1)126,
30(1)194,
30(1)287,
30(1)312,
30(1)382,
30(2)28,
30(2)64,
30(3)153,
30(3)272,
30(4)18,
31(1)43,
31(1)170,
31(1)237,
31(1)286,
31(1)306,
31(2)42,
31(3)123,
31(3)135,
31(3)175,
31(3)186,
31(3)193,
31(4)35,
31(4)52
- hands-on,
22(1)94,
22(3)34,
23(2)29,
26(1)290,
27(2)2,
28(1)53,
28(1)107,
28(1)373,
30(1)341,
31(1)68,
31(1)114,
31(1)119,
31(1)160,
31(1)336,
31(3)187
- mechanism,
22(3)21,
26(1)145,
27(1)24,
27(1)199,
27(1)204,
28(1)175,
28(2)21,
29(1)35,
29(1)53,
29(1)320,
29(3)143,
30(3)206,
31(1)3,
31(1)127,
31(1)281,
31(2)17
- monitor,
23(3)7,
24(1)176,
26(3)22,
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(1)367,
31(3)60
- native,
27(1)82
- notation,
24(4)27,
26(1)21,
26(4)29,
27(1)199,
27(1)228,
27(1)307,
28(1)437,
30(1)166,
30(1)345,
31(1)100
- obtain,
25(4)33,
27(1)340,
30(1)25,
30(1)212,
30(3)153,
31(1)100,
31(1)247,
31(2)65
- obtained,
24(1)192,
26(3)22,
27(1)355,
28(1)47,
29(3)120,
31(1)78,
31(1)114,
31(2)37,
31(2)42,
31(3)44
- on, hands-,
22(1)94,
23(2)29,
26(1)290,
27(2)2,
28(1)53,
28(1)107,
28(1)373,
30(1)341,
31(1)68,
31(1)114,
31(1)119,
31(1)160,
31(1)336,
31(3)187
- part,
22(3)47,
23(2)33,
23(2)51,
24(1)102,
24(1)147,
24(1)246,
24(3)14,
24(3)29,
25(1)78,
25(4)38,
26(1)309,
26(1)324,
26(1)349,
26(2)2,
26(2)19,
26(3)22,
26(3)45,
26(4)29,
26(4)56,
26(4)59,
27(1)24,
27(1)48,
27(1)126,
27(1)331,
27(1)340,
27(2)18,
27(4)57,
28(1)112,
28(1)150,
28(1)160,
28(1)190,
28(1)290,
28(3)2,
28(4)8,
29(1)126,
29(1)248,
29(1)310,
29(2)31,
29(3)54,
29(3)136,
30(1)20,
30(1)87,
30(1)121,
30(1)341,
30(2)11,
30(2)53,
30(3)37,
30(3)153,
30(3)162,
30(3)171,
30(3)206,
30(3)219,
30(3)228,
30(3)236,
30(3)264,
30(4)28,
30(4)42,
31(1)48,
31(1)53,
31(1)68,
31(1)165,
31(1)247,
31(1)266,
31(1)276,
31(1)311,
31(1)316,
31(1)346,
31(2)8,
31(3)187,
31(3)204,
31(4)10,
31(4)13,
31(4)79
- preprocessor,
23(2)51
- public,
22(2)11,
23(2)2,
24(1)240,
26(1)97,
27(1)163,
28(1)195,
29(1)224,
29(1)233,
29(3)6,
29(4)51,
29(4)58,
30(1)171,
30(1)297,
31(2)17
- region,
24(1)197
- respectively,
27(1)317,
28(1)102,
30(1)366
- run,
22(3)25,
22(4)55,
23(2)29,
23(3)17,
23(4)51,
24(1)259,
24(1)286,
24(4)49,
25(3)52,
26(1)203,
26(4)9,
27(1)340,
28(1)214,
28(3)55,
29(1)262,
29(1)267,
29(3)31,
30(1)30,
30(1)267,
30(3)157,
30(3)175,
31(1)68,
31(1)232,
31(3)131,
31(3)206
- sequential,
23(4)7,
24(1)286,
24(2)35,
24(3)35,
27(1)355,
28(3)5,
31(1)367
- 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(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(1)367,
31(3)40,
31(3)99,
31(3)163,
31(3)175,
31(3)208,
31(4)13,
31(4)48
- spectrum,
30(1)217
- SR,
24(1)176
- standard,
22(3)34,
23(1)130,
23(2)51,
24(1)113,
24(1)142,
24(1)192,
24(1)197,
24(1)235,
24(2)2,
24(4)49,
25(1)78,
25(2)31,
26(1)51,
26(1)150,
26(1)160,
26(1)362,
26(2)9,
26(3)37,
26(4)5,
26(4)9,
27(1)163,
27(1)191,
27(1)209,
27(1)287,
28(1)180,
28(1)242,
29(1)67,
29(1)72,
29(1)126,
29(1)184,
29(1)194,
29(1)258,
29(1)360,
29(2)7,
29(2)28,
29(3)57,
29(4)57,
30(1)35,
30(1)145,
30(1)272,
30(1)341,
30(3)69,
30(3)310,
31(1)48,
31(1)174,
31(1)311,
31(2)51,
31(2)65,
31(2)73,
31(2)86,
31(3)79,
31(3)198,
31(3)200,
31(3)201
- synchronization,
22(1)6,
24(1)176,
24(3)45,
25(1)218,
26(1)344,
29(1)53,
31(1)58,
31(1)367
- three,
22(3)39,
23(2)33,
23(3)2,
23(3)17,
24(1)15,
24(1)76,
24(1)129,
24(1)163,
24(2)7,
24(2)35,
24(2)55,
24(3)60,
24(4)1,
24(4)43,
24(4)49,
25(4)13,
26(1)21,
26(1)223,
26(1)290,
26(1)366,
26(3)22,
27(1)191,
27(1)204,
27(1)223,
27(1)307,
28(1)112,
28(1)256,
28(3)23,
28(4)3,
28(4)33,
28(4)36,
28(z)6,
29(1)48,
29(1)179,
29(1)214,
29(1)224,
29(1)272,
29(1)320,
29(1)330,
30(1)1,
30(1)45,
30(1)58,
30(1)153,
30(1)282,
30(1)312,
30(2)28,
30(3)37,
30(3)90,
30(3)219,
30(4)5,
30(4)32,
30(4)59,
31(1)17,
31(1)160,
31(1)208,
31(1)242,
31(1)301,
31(2)86,
31(3)151,
31(3)159,
31(3)167,
31(3)175,
31(3)201,
31(4)13,
31(4)35
- together,
26(1)71,
26(1)366,
26(4)17,
26(4)59,
27(3)50,
27(4)51,
28(1)195,
28(1)227,
28(2)40,
28(z)136,
29(3)42,
30(1)166,
30(1)341,
30(1)378,
30(3)5,
30(3)37,
30(3)171,
30(3)213,
30(3)295,
31(1)7,
31(1)63,
31(1)184,
31(2)17,
31(2)69,
31(3)33,
31(3)52,
31(3)123,
31(3)186
- UNIX,
22(3)39,
22(4)55,
23(3)7,
24(1)46,
24(4)43,
27(1)39,
28(2)21,
29(4)54,
30(3)175
- wide,
24(1)192,
24(1)197,
24(1)207,
24(3)1,
26(1)16,
26(4)59,
27(1)331,
27(1)350,
28(1)107,
28(1)160,
28(1)175,
28(1)195,
28(1)280,
28(1)290,
28(1)373,
28(z)1,
28(z)20,
28(z)66,
28(z)101,
28(z)218,
28(z)231,
29(1)96,
29(1)116,
29(1)199,
29(1)233,
29(1)335,
29(1)360,
29(1)371,
29(1)384,
29(3)8,
29(3)37,
29(3)59,
29(3)71,
29(3)127,
29(4)45,
30(1)1,
30(1)87,
30(1)107,
30(1)131,
30(1)145,
30(1)176,
30(1)217,
30(1)222,
30(1)227,
30(1)277,
30(1)312,
30(1)341,
30(1)366,
30(3)51,
30(3)209,
30(3)275,
30(3)279,
30(3)290,
30(3)310,
31(1)146,
31(1)174,
31(1)311,
31(1)316,
31(3)192,
31(3)206,
31(4)66
- written,
22(3)25,
23(3)7,
23(4)51,
24(4)49,
25(1)283,
26(1)66,
26(1)253,
26(1)339,
27(1)1,
27(1)199,
27(1)233,
27(1)340,
27(2)44,
28(1)204,
28(2)25,
28(3)9,
29(1)15,
29(1)238,
29(1)267,
29(1)330,
29(1)340,
29(1)390,
29(3)1,
29(3)31,
29(3)62,
30(1)247,
30(1)267,
30(1)383,
30(2)31,
30(3)94,
30(3)178,
30(3)185,
31(1)227,
31(1)261,
31(1)311,
31(2)28,
31(2)48,
31(2)62,
31(2)84,
31(3)25,
31(3)103,
31(3)186,
31(3)196,
31(3)211