Holdings: Concurrency in dependable computing

Concurrency in dependable computing:

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Boston u.a. Kluwer Academic Publishers 2002
Subjects:	Parallélisme (Informatique) - Bibliographie Systèmes informatiques - Fiabilité Tolérance aux fautes (Informatique) Computer systems > Reliability Fault-tolerant computing Parallel processing (Electronic computers) Zuverlässigkeit Technisches System Nebenläufigkeit
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references and index
Physical Description:	XVI, 310 S. Ill.
ISBN:	1402070438

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV014640180
003	DE-604
005	20020830
007	t
008	020806s2002 xxua\|\|\| \|\|\|\| 00\|\|\| eng d
010			\|a 2002069524
020			\|a 1402070438 \|9 1-4020-7043-8
035			\|a (OCoLC)49905788
035			\|a (DE-599)BVBBV014640180
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-384 \|a DE-11
050		0	\|a QA76.58
082	0		\|a 004.2 \|2 21
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 150 \|0 (DE-625)143594: \|2 rvk
084			\|a ST 233 \|0 (DE-625)143620: \|2 rvk
245	1	0	\|a Concurrency in dependable computing \|c edited by Paul Ezhilchelvan and Alexander Romanovsky
264		1	\|a Boston u.a. \|b Kluwer Academic Publishers \|c 2002
300			\|a XVI, 310 S. \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references and index
650		4	\|a Parallélisme (Informatique) - Bibliographie
650		4	\|a Systèmes informatiques - Fiabilité
650		4	\|a Tolérance aux fautes (Informatique)
650		4	\|a Computer systems \|x Reliability
650		4	\|a Fault-tolerant computing
650		4	\|a Parallel processing (Electronic computers)
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Technisches System \|0 (DE-588)4126276-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Technisches System \|0 (DE-588)4126276-1 \|D s
689	0	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0	2	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0		\|5 DE-604
700	1		\|a Ezhilchelvan, Paul D. \|e Sonstige \|4 oth
700	1		\|a Romanovsky, Alexander \|e Sonstige \|4 oth
856	4	2	\|m LoC Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012766225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-012766225

Record in the Search Index

_version_	1804132704746209280
adam_text	CONCURRENCY IN DEPENDABLE COMPUTING / EZHILCHELVAN, PAUL : C2002 TABLE OF CONTENTS / INHALTSVERZEICHNIS PART I ROLE OF MODELLING AND FORMALISMS FOR DE -PENDABLE SYSTEM DESIGN 1 COMPOSITIONAL DEVELOPMENT IN THE EVENT OF INTERFACE DIFFER- 3 ENCE JONATHAN BURTON, MACIEJ KOUTNY, GIUSEPPE PAPPALARDO AND MARTA PIETKIEWICZ-KOUTNY 2 MODEL-BASED DESIGN OF DEPENDABILITY 23 ANISH ARORA, RAJESH JAGANNATHAN AND YI-MIN WANG 3 TLA SPECIFICATION OF A MECHANISM FOR CONCURRENT EXCEPTION 41 HANDLING AVELINO FRANCISCO ZORZO, BRIAN RANDELL AND ALEXANDER RO -MANOVSKY 4 COMPONENT BASED DEPENDABLE SYSTEM MODELLING FOR 61 EASIER VERIFICATION DIDIER BUCHS, SANDRO COSTA AND DAVID HURZELER PART II APPLICATION SPECIFIC MODELLING FOR DEPEND -ABLE DESIGN AND ANALYSIS 5 DIGGING INTO CONCURRENCY 87 ANGIE CHANDLER, SERENA PATCHING AND LYNNE BLAIR 6 DEADLOCK FREE CONTROL IN AUTOMATED GUIDED VEHICLE SYSTEMS 105 MARIA PIA FANTI 7 QUALITY ANALYSIS OF DEPENDABLE INFORMATION SYSTEMS 127 APOSTOLOS ZARRAS AND VALERIE ISSARNY PART III EVENT ORDERING AND ITS APPLICATION 8 FAULT-TOLERANT SEQUENCER 149 ROBERTO BALDONI, CARLO MARCHETTI AND SARA TUCCI PIERGIOVANNI 9 QOS ANALYSIS OF GROUP COMMUNICATION PROTOCOLS IN WIRELESS 169 ENVIRONMENT ANDREA BONDAVALLI, ANDREA COCCOLI AND FELICITA DI GIAN -DOMENICO 10 SEMANTICALLY RELIABLE BROADCAST 189 JOSE PEREIRA, LUIS RODRIGUES AND RUI OLIVEIRA 11EXCEPTION HANDLING IN TIMED ASYNCHRONOUS SYSTEMS 209 ROBERT MILLER AND ANAND TRIPATHI PART IV TRANSACTIONS AND CONSISTENT CHECKPOINTING 12 A RECOVERY MODEL FOR COOPERATIVE COMPUTATIONS 231 EDGAR NETT AND MICHAEL MOCK 13 GROUP TRANSACTIONS 253 MARTA PATIIO-MARTNEZ, RICARDO JIMENEZ-PERIS AND SERGIO AREVALO 14 CHECKPOINTING IN DISTRIBUTED COMPUTING SYSTEMS 273 LALIT KUMAR, MANOJ MISRA AND RAMESH CHANDER JOSHI PART V CONCURRENCY IN REAL-TIME APPLICATIONS 15 CONCURRENCY IN DEPENDABLE REAL-TIME OBJECTS 293 K.H.(KANE) KIM. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV014640180
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.58
callnumber-search	QA76.58
callnumber-sort	QA 276.58
callnumber-subject	QA - Mathematics
classification_rvk	ST 130 ST 150 ST 233
ctrlnum	(OCoLC)49905788 (DE-599)BVBBV014640180
dewey-full	004.2
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.2
dewey-search	004.2
dewey-sort	14.2
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02069nam a2200529zc 4500</leader><controlfield tag="001">BV014640180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020830 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020806s2002 xxua\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002069524</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402070438</subfield><subfield code="9">1-4020-7043-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49905788</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014640180</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</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 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrency in dependable computing</subfield><subfield code="c">edited by Paul Ezhilchelvan and Alexander Romanovsky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 310 S.</subfield><subfield code="b">Ill.</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique) - Bibliographie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes informatiques - Fiabilité</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tolérance aux fautes (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Technisches System</subfield><subfield code="0">(DE-588)4126276-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ezhilchelvan, Paul D.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Romanovsky, Alexander</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</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=012766225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012766225</subfield></datafield></record></collection>
id	DE-604.BV014640180
illustrated	Illustrated
indexdate	2024-07-09T19:57:03Z
institution	BVB
isbn	1402070438
language	English
lccn	2002069524
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-012766225
oclc_num	49905788
open_access_boolean
owner	DE-384 DE-11
owner_facet	DE-384 DE-11
physical	XVI, 310 S. Ill.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Kluwer Academic Publishers
record_format	marc
spelling	Concurrency in dependable computing edited by Paul Ezhilchelvan and Alexander Romanovsky Boston u.a. Kluwer Academic Publishers 2002 XVI, 310 S. Ill. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Parallélisme (Informatique) - Bibliographie Systèmes informatiques - Fiabilité Tolérance aux fautes (Informatique) Computer systems Reliability Fault-tolerant computing Parallel processing (Electronic computers) Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Technisches System (DE-588)4126276-1 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Technisches System (DE-588)4126276-1 s Zuverlässigkeit (DE-588)4059245-5 s Nebenläufigkeit (DE-588)4115352-2 s DE-604 Ezhilchelvan, Paul D. Sonstige oth Romanovsky, Alexander Sonstige oth LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012766225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Concurrency in dependable computing Parallélisme (Informatique) - Bibliographie Systèmes informatiques - Fiabilité Tolérance aux fautes (Informatique) Computer systems Reliability Fault-tolerant computing Parallel processing (Electronic computers) Zuverlässigkeit (DE-588)4059245-5 gnd Technisches System (DE-588)4126276-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4059245-5 (DE-588)4126276-1 (DE-588)4115352-2
title	Concurrency in dependable computing
title_auth	Concurrency in dependable computing
title_exact_search	Concurrency in dependable computing
title_full	Concurrency in dependable computing edited by Paul Ezhilchelvan and Alexander Romanovsky
title_fullStr	Concurrency in dependable computing edited by Paul Ezhilchelvan and Alexander Romanovsky
title_full_unstemmed	Concurrency in dependable computing edited by Paul Ezhilchelvan and Alexander Romanovsky
title_short	Concurrency in dependable computing
title_sort	concurrency in dependable computing
topic	Parallélisme (Informatique) - Bibliographie Systèmes informatiques - Fiabilité Tolérance aux fautes (Informatique) Computer systems Reliability Fault-tolerant computing Parallel processing (Electronic computers) Zuverlässigkeit (DE-588)4059245-5 gnd Technisches System (DE-588)4126276-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Parallélisme (Informatique) - Bibliographie Systèmes informatiques - Fiabilité Tolérance aux fautes (Informatique) Computer systems Reliability Fault-tolerant computing Parallel processing (Electronic computers) Zuverlässigkeit Technisches System Nebenläufigkeit
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012766225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT ezhilchelvanpauld concurrencyindependablecomputing AT romanovskyalexander concurrencyindependablecomputing

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items