MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05515cam a2200841 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn321316276 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703150131.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 unu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
890724s1989 gw a ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
SCPER |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
CUSER |
| Modifying agency |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
COO |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCE |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCA |
| 019 ## - |
|---|
| -- |
1355501271 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540482154 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540482156 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0387515259 |
| Qualifying information |
(U.S.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780387515250 |
| Qualifying information |
(U.S.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540515258 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540515259 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-51525-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15494235 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)321316276 |
| Canceled/invalid control number |
(OCoLC)1355501271 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.D5 |
| Item number |
T39 1989 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004/.36 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
*68-02 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68N25 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68Q85 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
28 |
| Number source |
sdnb |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Taubner, Dirk, |
| Dates associated with a name |
1959- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjwHWwm4jkWKmTpDHdtfHK |
| 9 (RLIN) |
32962 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Finite representations of CCS and TCSP programs by automata and Petri nets / |
| Statement of responsibility, etc. |
Dirk Taubner. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
©1989. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 168 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 |
369 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 159-164). |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Annotation This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives. On the other hand there are machine models, i.e. the classical finite state automata (transition systems), for which, however, more discriminating notions of equivalence than equality of languages are used; and secondly, there are differently powerful types of Petri nets, namely safe and general (place/transition) nets respectively, and predicate/transition nets. Within a uniform framework the syntax and the operational semantics of CCS and TCSP are explained. We consider both, Milner's well-known interleaving semantics, which is based on infinite transition systems, as well as the new distributed semantics introduced by Degano et al., which is based on infinite safe nets. The main part of this work contains three syntax-driven constructions of transition systems, safe nets, and predicate/transition nets respectively. Each of them is accompanied by a proof of consistency. Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist. However sublanguages which allow finite representations are discerned. On the other hand the construction of predicate/transition nets is possible for all CCS programs in which every choice and every recursive body starts sequentially. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Abstract programming languages -- Connections with language theory -- Representation by finite automata -- Representation by finite and safe Petri nets -- A remark on the representation by finite Petri nets -- Representation by finite and strict predicate/transition nets. |
| 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 |
2022. |
| 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 |
2022. |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Petri nets. |
| 9 (RLIN) |
15417 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| 9 (RLIN) |
986 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming Languages |
| 9 (RLIN) |
31442 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Traitement réparti. |
| 9 (RLIN) |
20596 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Réseaux de Pétri. |
| 9 (RLIN) |
966767 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Langages de programmation. |
| 9 (RLIN) |
14691 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing |
| Source of heading or term |
fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Petri nets |
| Source of heading or term |
fast |
| 9 (RLIN) |
15417 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| Source of heading or term |
fast |
| 9 (RLIN) |
986 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
TCSP |
| Source of heading or term |
gnd |
| 9 (RLIN) |
976388 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallelverarbeitung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
5043 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
5173 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automat |
| Source of heading or term |
gnd |
| 9 (RLIN) |
20473 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Petri-Netz |
| Source of heading or term |
gnd |
| 9 (RLIN) |
26466 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
CCS |
| Source of heading or term |
gnd |
| 9 (RLIN) |
976389 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Petri nets. |
| Source of heading or term |
nli |
| 9 (RLIN) |
15417 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Machine theory. |
| Source of heading or term |
nli |
| 9 (RLIN) |
14628 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing. |
| Source of heading or term |
nli |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic resources (Books) |
| 9 (RLIN) |
14725 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Taubner, Dirk, 1959- |
| Title |
Finite representations of CCS and TCSP programs by automata and Petri nets. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1989 |
| Record control number |
(OCoLC)20170933 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
369. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-51525-9">https://link.springer.com/10.1007/3-540-51525-9</a> |
| 936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
|---|
| OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
BATCHLOAD |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |