MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04758cam a2200733 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn622494717 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703151424.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100519s1992 gw a ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCQ |
| -- |
CUSER |
| -- |
OCLCO |
| -- |
C$Q |
| -- |
GW5XE |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
CEF |
| -- |
YOU |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCA |
| 019 ## - |
|---|
| -- |
321345834 |
| -- |
609181177 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540475064 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540475060 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387562834 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387562834 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540562834 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540562832 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540475060 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012358 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15300508 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)622494717 |
| Canceled/invalid control number |
(OCoLC)321345834 |
| -- |
(OCoLC)609181177 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK5105 |
| Item number |
.K69 1992 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.6/01/5113 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Koymans, R. |
| Fuller form of name |
(Ron), |
| Dates associated with a name |
1959- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjBt8wF9FpvRkrr3R7Kprm |
| 9 (RLIN) |
38214 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Specifying message passing and time-critical systems with temporal logic / |
| Statement of responsibility, etc. |
Ron Koymans. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin ; |
| -- |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Springer-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1992. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 164 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
651 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 151-161) and index. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2010. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties. The main application area is that of distributed real-time systems. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
How to specify -- A review of modal and temporal logic -- Polymodal logics with inequality -- Message passing systems -- Time-critical systems -- Summary and concluding remarks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data transmission systems. |
| 9 (RLIN) |
14944 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 9 (RLIN) |
1341 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique. |
| 9 (RLIN) |
11864 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Données |
| General subdivision |
Transmission. |
| 9 (RLIN) |
38215 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data transmission systems |
| Source of heading or term |
fast |
| 9 (RLIN) |
14944 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Source of heading or term |
fast |
| 9 (RLIN) |
1341 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Temporale Logik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
17871 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Verteiltes System |
| Source of heading or term |
gnd |
| 9 (RLIN) |
2951 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Echtzeitverarbeitung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
31097 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Spezifikation |
| Source of heading or term |
gnd |
| 9 (RLIN) |
28945 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Real-time systemen. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
32898 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Gedistribueerde gegevensverwerking. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
17199 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Temporele logica. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
38216 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Specifying message passing and time-critical systems with temporal logic (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGJRqC3ffhxYqTHhyx7vHC |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Koymans, R. (Ron), 1959- |
| Title |
Specifying message passing and time-critical systems with temporal logic. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1992 |
| Record control number |
(DLC) 92041122 |
| -- |
(OCoLC)27069338 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
651. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-56283-4">https://link.springer.com/10.1007/3-540-56283-4</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |