Last update: Sat Jan 6 02:03:49 MST 2018
@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",
}