Last update: Fri Jan 5 02:05:58 MST 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{Bolognesi:1987:IIS,
author = "Tommaso Bolognesi and Ed Brinksma",
key = "Brinksma \& Bolognesi",
title = "Introduction to the {ISO} Specification Language
{LOTOS}",
journal = j-COMP-NET-ISDN,
volume = "14",
number = "1",
pages = "25--59",
year = "1987",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Sat Sep 25 23:08:50 MDT 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1987.bib;
ftp://ftp.ira.uka.de/pub/bibliography/LogicProgramming/Constr.logic.prog.bib;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib;
ftp://ftp.ira.uka.de/pub/bibliography/Os/IMMD_IV.bib;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
affiliation = "CNR, Pisa, Italy",
annote = "The article gives an informally introduction into the
specification language LOTOS, it explains the basic
LOTOS, equivalences, data types, value expressions, and
a small but complete LOTOS specification.",
classification = "723; 902",
country = "NL",
date = "08/01/91",
descriptors = "Specification language; OSI; LOTOS; concurrency",
enum = "4104",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "CCS; computer networks; computer programming
languages; concurrent languages; formal description
techniques; Open Systems Interconnection; protocol
specification; specification languages; standards",
language = "English",
location = "RWTH-AC-DFV: Bibl.",
references = "47",
revision = "21/04/91",
xxauthor = "Ed Brinksma and Tommaso Bolognesi",
}
Related entries
- article,
13(3)247,
25(10)1165,
29(8)1447
- basic,
11(z)277,
16(4)311,
18(1)55,
24(4)311,
25(4)454,
27(8)1287,
28(12)1585,
29(4)413
- Brinksma, Ed,
30(9)925
- complete,
27(2)273,
29(15)1777
- concurrent,
25(7)761,
26(9)1101
- description,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
14(2)187,
14(2)311,
14(3)3,
16(1)138,
16(4)311,
18(5)335,
24(4)321,
25(4)583,
25(7)723,
27(2)289,
27(6)985,
28(7)1095,
28(7)1291,
28(7)1385,
29(3)271,
30(9)863,
30(15)1389
- explain,
16(4)311,
18(1)31
- formal,
14(1)61,
14(2)311,
14(3)3,
17(2)111,
18(5)335,
18(13)1845,
22(1)7,
25(1)3,
25(4)583,
25(7)723,
25(7)779,
25(7)815,
26(2)233,
27(8)1305,
28(13)1845,
29(1)3,
29(1)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- give,
13(2)65,
20(1)425,
25(10)1127
- interconnection,
9(2)109,
9(3)177,
9(4)267,
9(4)281,
9(5)329,
10(5)259,
11(3)173,
12(3)159,
12(4)225,
12(4)231,
12(4)235,
13(4)257,
14(1)79,
14(2)291,
14(2)297,
14(3)3,
15(4)269,
15(5)369,
16(1)40,
16(1)75,
16(1)129,
16(1)135,
16(4)311,
16(5)357,
16(5)395,
16(5)405,
17(2)111,
24(2)185,
25(4)570,
25(6)701,
26(4)433,
28(13)1809
- introduction,
14(3)3,
18(1)1,
20(1)137,
22(1)1,
23(5)325,
23(5)363,
25(z)z-4,
26(2)239,
26(9)1143,
26(z)z-1,
27(2)205,
27(8)1215,
28(12)1603,
28(12)1617,
29(3)271,
29(5)535
- ISO,
9(4)267,
11(z)277,
12(3)159,
12(4)231,
16(1)153,
21(3)149,
23(1)101,
25(4)411,
27(8)1211,
27(8)1215
- language,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
14(1)61,
14(2)187,
14(3)3,
15(4)245,
16(1)138,
16(4)311,
21(3)149,
23(5)363,
25(11)1243,
26(9)1101,
26(z)z-1,
27(2)135,
27(2)193,
27(2)205,
27(2)273,
27(2)289,
27(3)353,
27(6)831,
27(6)919,
27(6)939,
28(7)941,
28(7)1037,
28(7)1095,
28(7)1149,
28(7)1291,
28(7)1385,
29(8)1305,
30(1)225,
30(1)259,
30(1)636
- LOTOS,
13(2)75,
22(1)51,
23(5)325,
25(1)23,
25(7)791,
25(7)815,
25(7)853,
30(9)901,
30(9)925
- open,
9(4)267,
9(5)329,
11(3)173,
12(3)159,
12(4)225,
12(4)231,
12(4)235,
14(1)79,
14(2)291,
14(2)297,
14(3)3,
15(1)61,
15(4)269,
16(1)40,
16(1)64,
16(4)311,
16(5)357,
16(5)395,
17(2)111,
21(3)149,
22(5)323,
23(1)195,
24(1)1,
27(8)1211,
27(8)1215,
27(8)1231,
27(8)1247,
27(8)1263,
27(8)1287,
28(7)941,
28(7)1027,
29(4)473,
29(8)1007,
30(1)624,
30(14)1327
- programming,
9(2)91,
9(2)109,
9(4)257,
10(5)245,
11(1)1,
11(1)43,
12(1)27,
12(2)81,
12(2)99,
12(3)139,
12(3)147,
12(5)311,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
13(4)301,
14(1)61,
14(2)187,
14(3)3,
15(1)1,
15(2)121,
15(4)245,
15(5)329,
16(1)138,
16(5)367,
16(5)383,
17(2)127,
26(z)z-1,
27(2)193,
27(2)289,
27(6)823,
27(6)831,
27(6)841,
28(7)1037,
28(7)1149,
28(7)1291,
28(7)1373,
30(1)259
- small,
11(z)287,
27(6)1009
- specification,
11(3)183,
11(5)353,
12(3)147,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
14(3)3,
16(1)21,
16(4)311,
17(2)111,
18(5)335,
18(z)167,
23(5)363,
24(3)199,
25(1)23,
25(7)779,
25(7)815,
26(2)233,
27(8)1247,
29(1)81,
29(4)393,
29(4)397,
29(4)437,
29(4)457,
29(4)473,
30(1)225,
30(11)1045,
30(19)1735
- standard,
9(3)201,
9(4)267,
9(5)339,
10(3)157,
10(5)259,
11(2)87,
11(2)121,
11(5)353,
11(z)277,
12(3)159,
12(4)209,
12(4)225,
12(4)235,
13(3)149,
13(3)149,
13(3)229,
13(4)323,
14(1)79,
14(2)123,
14(2)291,
15(1)61,
15(4)269,
16(1)21,
16(1)31,
16(1)83,
16(1)138,
16(1)143,
16(1)153,
16(1)167,
16(5)405,
17(2)77,
17(4)284,
17(4)287,
17(4)337,
19(2)95,
21(3)149,
25(8)933,
25(10)1119,
25(11)1177,
26(2)233,
26(11)1365,
27(1)1,
27(3)367,
27(6)823,
27(6)985,
27(6)1009,
28(7)1095,
29(15)1843,
30(1)23,
30(16)1571
- technique,
9(5)353,
10(5)275,
11(5)337,
12(2)81,
13(4)269,
14(2)311,
14(3)3,
15(3)217,
15(4)229,
16(1)138,
18(5)335,
21(3)149,
23(1)107,
24(2)119,
25(4)454,
25(7)723,
26(6)601,
26(6)603,
26(6)1023,
27(2)135,
27(2)193,
27(2)215,
27(2)273,
27(3)353,
27(6)823,
27(6)831,
27(6)841,
27(6)1009,
27(6)1027,
28(3)325,
28(7)1291,
29(8)1019,
29(14)1685,
29(14)1705,
29(17)2021,
30(1)379,
30(9)863,
30(20)2015,
30(22)2149
- type,
16(4)311,
17(1)15,
20(1)171,
28(7)1095
- value,
28(7)1445,
30(1)736