MARC details
000 -LEADER |
fixed length control field |
02590n a2200325#a 4500 |
001 - CONTROL NUMBER |
control field |
21719 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
P5A |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20221213140139.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
950209s1994 dk a tb 000 0 eng d |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
ocm31960448 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
PMC |
Transcribing agency |
PMC |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
P5AA |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES |
IMPA CODE FOR CLASSIFICATION SHELVES |
Teses Externas |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Jensen, Ole H. |
9 (RLIN) |
23128 |
245 10 - TITLE STATEMENT |
Title |
Model construction for hybrid implicit specifications/ |
Statement of responsibility, etc. |
by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Aalborg, Denmark: |
Name of publisher, distributor, etc. |
University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, |
Date of publication, distribution, etc. |
[1994]. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
viii, 150 p.: |
Other physical details |
ill.; |
Dimensions |
24 cm. |
490 1# - SERIES STATEMENT |
Series statement |
Report / University of Aalborg. Institute for Electronic Systems. Dept. of Mathematics and Computer Science,; |
International Standard Serial Number |
0106-0791; |
Volume/sequential designation |
R 94-2012 |
500 ## - GENERAL NOTE |
General note |
Cover title. |
500 ## - GENERAL NOTE |
General note |
"March 1994." |
502 ## - DISSERTATION NOTE |
Dissertation note |
Thesis (M.S.)--Aalborg University, 1994. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
Abstract: "Top-down design of a reactive system, such as a computer program, can be viewed as a stepwise refinement of a specification. In order to ensure that the specification is indeed a correct description of the desired system, it is advantageous to be able to synthesize (perhaps automatically) prototypes from specifications. This thesis considers model construction, i.e. synthesis of prototypes, for hybrid implicit specifications of the form C(P₁ ..., P[subscript n];G₁ ..., G[subscript m]) sat F asserting that the process C(P₁ ..., P[subscript n];Q₁ ..., Q[subscript m]) satisfies the specification F whenever the process Q[subscript i] satisfies the specification G[subscript i] for 1 [<or =] i [<or =] m. We offer the theoretical development of a tableau-like method for constructing the processes P₁ ..., P[subscript n] (as labelled transition systems) when C is given as a context of process algebra (such as CCS), and F is given as a formula of Hennessy-Milner Logic with maximal recursion. Furthermore, we report on a prototype implementation of a model construction tool based on the presented theory." |
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer programs. |
9 (RLIN) |
37456 |
697 ## - LOCAL SUBJECT |
Local Subject |
Teses Externas |
Linkage |
24308 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Jeppesen, Christian |
9 (RLIN) |
23129 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Lang, Jarl Tuxen |
9 (RLIN) |
23130 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Report (Aalborg universitetscenter. Afdeling for matematik og datalogi); |
Volume/sequential designation |
R 94-2012. |
9 (RLIN) |
29882 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Instituto de Matemática Pura e Aplicada |
Koha item type |
Thesis |