Entry Djordjevic:1985:PLN from compj1980.bib
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{Djordjevic:1985:PLN,
author = "Jovan Djordjevi{\'c} and Mario Barbacci and Brad
Hosler",
title = "A {PMS} Level Notation for the Description and
Simulation of Digital Systems",
journal = j-COMP-J,
volume = "28",
number = "4",
pages = "357--365",
month = aug,
year = "1985",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/28.4.357",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:19 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/28/4.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/;
Misc/arch.bib",
note = "PMS",
URL = "http://comjnl.oxfordjournals.org/content/28/4/357.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/357.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/358.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/359.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/360.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/361.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/362.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/363.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/364.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_04/tiff/365.tif",
acknowledgement = ack-nhfb,
affiliation = "Mihailo Pupin Inst, Computer Engineering Dep,
Belgrade, Yugosl",
affiliationaddress = "Mihailo Pupin Inst, Computer Engineering Dep,
Belgrade, Yugosl",
classcodes = "C6140D (High level languages); C7430 (Computer
engineering)",
classification = "722; 723",
corpsource = "Dept. of Comput. Sci., Carnegie-Mellon Univ.,
Pittsburgh, PA, USA",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "aspects; behavioural description; central processor;
computer programming languages; computer simulation;
computer systems, digital; DEC computers; DEC PDP-11
UNIBUS; digital computers; digital simulation; digital
systems; hardware description languages;
interconnection; interconnections; ISPS; languages;
memory units; peripheral units; PMS; PMS level
notation; PMS notation; semantics of ISPS;
specification languages; specification of instances of
components; structural; system description; system
simulation; validation",
remark = "This paper describes how PMS descriptions may be used
to supplement ISPS descriptions by representing
structural information that cannot be expressed in
ISPS. A brief description of the syntax is given along
with several examples. The translation of a description
to a simulatable file is also briefly described.",
treatment = "T Theoretical or Mathematical",
}
Related entries
- aspect,
23(1)3,
23(1)5,
23(1)46,
27(3)193,
29(4)289,
32(3)262
- behavioural,
26(4)289,
31(3)248,
31(5)398,
32(5)453
- central,
27(3)254
- component,
24(1)3,
25(1)17,
25(3)327,
28(2)112,
30(2)176,
30(3)258,
31(2)125,
31(4)336,
32(6)541
- DEC,
31(1)12
- description,
23(4)360,
25(2)176,
28(1)89,
28(2)170,
28(2)184,
28(4)409,
29(5)460,
30(2)128,
30(4)337,
31(6)525,
32(2)108,
32(5)386,
32(5)413,
32(5)453
- hardware,
23(1)46,
23(2)115,
24(3)230,
24(4)353,
25(4)471,
27(2)143,
27(3)246,
27(3)254,
28(2)105,
28(3)200,
28(3)264,
30(4)295,
31(3)193,
32(2)152,
32(4)362
- instance,
28(2)154,
32(2)122
- interconnection,
31(4)304,
32(4)362
- 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,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)500,
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
- memory,
24(1)14,
25(1)37,
25(1)140,
25(1)159,
25(2)227,
26(1)43,
26(2)188,
27(3)254,
27(4)328,
27(4)362,
28(1)68,
28(3)291,
28(4)398,
29(1)1,
29(2)127,
29(2)176,
29(6)522,
30(2)119,
30(3)201,
30(4)308,
30(4)362,
32(3)228,
32(5)461
- notation,
25(3)316,
28(3)250,
29(3)241,
29(6)500,
32(5)413
- PDP-11,
23(2)164-1
- peripheral,
23(1)46,
24(1)62,
24(3)287,
30(6)558,
31(5)457,
32(2)162
- processor,
23(2)147,
24(1)14,
24(1)62,
25(1)22,
25(4)423,
27(4)348,
28(1)29,
28(1)34,
28(2)148,
28(3)243,
29(1)12,
29(4)289,
29(5)390,
29(6)486,
30(2)119,
30(3)214,
30(5)386,
30(5)393,
30(5)404,
30(5)413,
30(5)420,
30(5)433,
30(5)437,
31(1)12,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)194,
32(3)276,
32(5)422,
32(5)437,
32(5)445,
32(6)571
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290,
32(5)422
- simulation,
23(2)142,
23(3)233,
24(1)25,
24(2)191,
25(1)84,
25(3)399,
26(2)134,
27(1)72,
27(3)254,
27(4)362,
27(4)368-1,
28(2)138,
28(5)496,
28(5)498,
29(2)118,
29(2)127,
29(6)522,
30(3)201,
30(3)258,
31(1)9,
31(1)41,
31(2)147,
31(4)364,
31(5)420,
31(6)517,
32(1)68,
32(6)541,
32(6)563
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- structural,
23(3)243,
25(4)448,
28(5)498,
29(1)24,
29(4)361,
29(6)538,
30(2)168,
32(2)98
- unit,
25(1)56,
25(1)116,
25(4)471,
27(3)254,
27(3)270,
28(2)117,
28(4)409,
30(3)283,
30(4)295,
31(1)41,
31(3)201
- validation,
24(2)139,
24(4)347,
27(3)238,
29(4)330,
29(5)416