Verfügbarkeit: Parallele Systeme

Parallele Systeme:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Röhrich, Johannes (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 1986
Schriftenreihe:	Informatik-Fachberichte 117
Schlagworte:	Paralleler Prozess Parallelverarbeitung Hochschulschrift
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	IX, 152 S.
ISBN:	3540160639 0387160639

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV025860364
003	DE-604
007	t
008	100417s1986 m\|\|\| 00\|\|\| ger d
015			\|a 86,N06,0186 \|2 dnb
016	7		\|a 860146421 \|2 DE-101
020			\|a 3540160639 \|9 3-540-16063-9
020			\|a 0387160639 \|9 0-387-16063-9
035			\|a (OCoLC)721483552
035			\|a (DE-599)BVBBV025860364
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
049			\|a DE-11
084			\|a QH 500 \|0 (DE-625)141607: \|2 rvk
084			\|a SS 4680 \|0 (DE-625)143510: \|2 rvk
084			\|a ST 150 \|0 (DE-625)143594: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
100	1		\|a Röhrich, Johannes \|e Verfasser \|4 aut
245	1	0	\|a Parallele Systeme \|c Johannes Röhrich
264		1	\|a Berlin [u.a.] \|b Springer \|c 1986
300			\|a IX, 152 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Informatik-Fachberichte \|v 117
502			\|a Zugl.: Karlsruhe, Univ., Habil.-Schr., 1985
650	0	7	\|a Paralleler Prozess \|0 (DE-588)4224684-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Paralleler Prozess \|0 (DE-588)4224684-2 \|D s
689	1		\|5 DE-604
830		0	\|a Informatik-Fachberichte \|v 117 \|w (DE-604)BV000006843 \|9 117
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019108086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-019108086

Datensatz im Suchindex

_version_	1808498238368514048
adam_text	INHALTSVERZEICHNIS EINFUEHRUNG 1 1. GRUNDBEGRIFFE UND TYPISCHE PROBLEMSTELLUNGEN 7 1.0 UEBERBLICK 7 1.1 PROZESS, OPERATION, EREIGNIS 9 1.2 PROZESSOBJEKT, PROZESSTYP, PROGRAMM 11 1.3 SYNCHRONISATION, KOMMUNIKATION 17 1.4 PARALLELE SYSTEME 23 1.5 LEBENDIGKEITSEIGENSCHAFTEN 26 2. LEBENDIGKEITSEIGENSCHAFTEN 29 2.0 UEBERBLICK 29 2.1 LOKALE UND GLOBALE LEBENDIGKEITSEIGENSCHAFTEN 32 2.2 GERECHTIGKEIT UND VERHUNGERUNGSFREIHEIT 42 2.3 LEBENDIGKEITSEIGENSCHAFTEN VON PETRI-NETZEN 47 3. HIERARCHISCH MODULARISIERTE PARALLELE SYSTEME 55 3.0 UEBERBLICK 55 3.1 BEISPIEL: EIN FERNMELDENETZ 57 3.2 MODULN UND SCHNITTSTELLEN 61 3.3 LEBENDIGKEIT IN HIERARCHISCHEN PARALLELEN SYSTEMEN 66 4. ZEIT IN VERTEILTEN SYSTEMEN 69 4.0 UEBERBLICK 69 4.1 VIRTUELLE ZEIT 70 4.2 SYSTEME KOMMUNIZIERENDER PROZESSE 72 4.3 KONSISTENZ UND LEBENDIGKEIT 75 4.4 LOKALE UND GLOBALE UHREN 76 5. VERTEILTE IMPLEMENTIERUNG PARALLELER SYSTEME 79 5.0 UEBERBLICK 79 5.1 ZEITLICHER AUSSCHLUSS IN VERTEILTEN SYSTEMEN 81 5.2 VERTEILTE IMPLEMENTIERUNG PARALLELER SYSTEME 89 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/860146421 INHALTSVERZEICHNIS 6. AUTOMATISCHE VERIFIKATION PARALLELER SYSTEME 95 6.0 UEBERBLICK 95 6.1 DAS VERIFIKATIONSSYSTEM PATSY: ZIELSETZUNG 96 6.2 STRUKTUR DES PATSY-SYSTEMS 98 6.3 AUTOMATISCHE VERIFIKATION VON LEBENDIGKEITSEIGENSCHAFTEN 102 7. SPEZIFIKATION PARALLELER SYSTEME 107 7.0 UEBERBLICK 107 7.1 SYSTEME KONKURRIERENDER PROZESSE 109 7.2 SYSTEME KOOPERIERENDER PROZESSE 117 8. AROMATISCHE VERIFIKATION PARALLELER SYSTEME 125 8.0 UEBERBLICK 125 8.1 AXIOMATISCHE DEFINITION VON CSP 128 8.2 BEWEIS VON LEBENDIGKEITSEIGENSCHAFTEN 132 9. ZUSAMMENFASSUNG 139 LITERATURVERZEICHNIS 145 VIII
any_adam_object	1
author	Röhrich, Johannes
author_facet	Röhrich, Johannes
author_role	aut
author_sort	Röhrich, Johannes
author_variant	j r jr
building	Verbundindex
bvnumber	BV025860364
classification_rvk	QH 500 SS 4680 ST 150 ST 230
ctrlnum	(OCoLC)721483552 (DE-599)BVBBV025860364
discipline	Informatik Wirtschaftswissenschaften
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV025860364</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s1986 m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">86,N06,0186</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">860146421</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540160639</subfield><subfield code="9">3-540-16063-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387160639</subfield><subfield code="9">0-387-16063-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)721483552</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025860364</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4680</subfield><subfield code="0">(DE-625)143510:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Röhrich, Johannes</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallele Systeme</subfield><subfield code="c">Johannes Röhrich</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 152 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">117</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Habil.-Schr., 1985</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">117</subfield><subfield code="w">(DE-604)BV000006843</subfield><subfield code="9">117</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019108086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019108086</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV025860364
illustrated	Not Illustrated
indexdate	2024-08-27T00:25:20Z
institution	BVB
isbn	3540160639 0387160639
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-019108086
oclc_num	721483552
open_access_boolean
owner	DE-11
owner_facet	DE-11
physical	IX, 152 S.
publishDate	1986
publishDateSearch	1986
publishDateSort	1986
publisher	Springer
record_format	marc
series	Informatik-Fachberichte
series2	Informatik-Fachberichte
spelling	Röhrich, Johannes Verfasser aut Parallele Systeme Johannes Röhrich Berlin [u.a.] Springer 1986 IX, 152 S. txt rdacontent n rdamedia nc rdacarrier Informatik-Fachberichte 117 Zugl.: Karlsruhe, Univ., Habil.-Schr., 1985 Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Parallelverarbeitung (DE-588)4075860-6 s DE-604 Paralleler Prozess (DE-588)4224684-2 s Informatik-Fachberichte 117 (DE-604)BV000006843 117 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019108086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Röhrich, Johannes Parallele Systeme Informatik-Fachberichte Paralleler Prozess (DE-588)4224684-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd
subject_GND	(DE-588)4224684-2 (DE-588)4075860-6 (DE-588)4113937-9
title	Parallele Systeme
title_auth	Parallele Systeme
title_exact_search	Parallele Systeme
title_full	Parallele Systeme Johannes Röhrich
title_fullStr	Parallele Systeme Johannes Röhrich
title_full_unstemmed	Parallele Systeme Johannes Röhrich
title_short	Parallele Systeme
title_sort	parallele systeme
topic	Paralleler Prozess (DE-588)4224684-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd
topic_facet	Paralleler Prozess Parallelverarbeitung Hochschulschrift
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019108086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000006843
work_keys_str_mv	AT rohrichjohannes parallelesysteme

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge