Entry Roscoe:1988:LOP from tcs1985.bib
Last update: Thu Sep 27 02:46:57 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{Roscoe:1988:LOP,
author = "A. W. Roscoe and C. A. R. Hoare",
title = "The laws of occam programming",
journal = j-THEOR-COMP-SCI,
volume = "60",
number = "2",
pages = "177--229",
month = sep,
year = "1988",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:29:49 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1985.bib",
acknowledgement = ack-nhfb,
classification = "C4240 (Programming and algorithm theory); C6140D
(High level languages)",
corpsource = "Comput. Lab., Oxford Univ., UK",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "algebraic laws; high level languages; normal form;
occam; occam programming; programming theory;
semantics; WHILE- free programs",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
}
Related entries
- algebraic,
35(2)329,
37(3)269,
37(3)305,
38(2)223,
39(1)3,
40(2)101,
40(2)257,
40(2)329,
41(1)33,
41(2)325,
42(1)1,
42(2)123,
43(2)123,
43(2)149,
44(3)333,
45(3)293,
46(1)13,
46(2)285,
46(2)313,
46(2)329,
49(2)121,
50(2)103,
50(2)137,
51(1)117,
52(3)205,
52(3)251,
52(3)307,
54(1)103,
55(2)265,
56(1)37,
57(1)3,
57(1)147,
57(2)205,
61(1)1,
61(2)199,
66(1)1,
66(2)205,
67(2)143,
67(2)261,
68(1)37,
69(1)69
- C6140D,
54(1)3,
56(1)3
- form,
39(1)69,
39(2)297,
40(2)315,
41(1)113,
44(2)229,
44(3)259,
47(3)299,
54(1)65,
54(2)215,
54(2)299,
61(2)299,
61(2)307,
62(1)67,
64(2)203,
65(1)1,
66(3)323,
67(2)173,
68(2)135,
68(3)277
- free,
35(1)71,
35(2)179,
37(1)51,
37(3)269,
37(3)357,
39(1)3,
41(1)121,
41(2)215,
43(1)117,
43(2)293,
44(2)229,
46(2)159,
46(2)319,
47(2)191,
48(2)183,
48(2)201,
48(2)329,
49(2)z,
51(3)301,
52(1)59,
52(3)177,
53(1)125,
54(2)165,
55(2)183,
57(1)147,
57(2)239,
58(1)69,
58(1)81,
58(1)201,
58(1)361,
62(1)105,
62(1)221,
62(3)267,
63(3)253,
63(3)275,
65(2)171,
66(2)117,
67(1)75,
69(3)319
- high,
52(3)239,
54(1)3,
56(1)3
- laws,
42(1)1
- level,
37(3)245,
54(1)3,
55(1)1,
55(1)47,
56(1)3
- normal,
39(2)297,
40(2)315,
44(2)229,
44(3)259,
53(1)99,
61(2)307,
62(1)67,
66(3)323,
67(2)173,
68(3)277
- Roscoe, A. W.,
58(1)249