Availability: Communicating sequential processes | Technische Universität München

Communicating sequential processes:

Saved in:

Bibliographic Details
Main Author:	Hoare, Charles A. R. 1934- (Author)
Format:	Book
Language:	English
Published:	Englewood Cliffs, NJ u.a. Prentice Hall 1985
Series:	Prentice-Hall International series in computer science
Subjects:	Parallelle verwerking Parallélisme (Informatique) Parallélisme (informatique) Programmation (Informatique) communication conception système décomposition système loi algébrique non déterminisme parallélisme partage ressource processus séquentiel processus système exploitation théorie mathématique trace Computer programming Parallel processing (Electronic computers) CSP Paralleler Prozess Prozesskommunikation Verteiltes System Prozessdatenverarbeitung Parallelverarbeitung
Physical Description:	VIII, 256 S. graph. Darst.
ISBN:	0131532715 0131532898

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV003469694
003	DE-604
005	19930308
007	t\|
008	900725s1985 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 0131532715 \|9 0-13-153271-5
020			\|a 0131532898 \|9 0-13-153289-8
035			\|a (OCoLC)11345080
035			\|a (DE-599)BVBBV003469694
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-384 \|a DE-473 \|a DE-739 \|a DE-355 \|a DE-20 \|a DE-29T \|a DE-91 \|a DE-91G \|a DE-522 \|a DE-83 \|a DE-11
050		0	\|a QA76.6
082	0		\|a 005 \|2 19
084			\|a QH 500 \|0 (DE-625)141607: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 150 \|0 (DE-625)143594: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 273 \|0 (DE-625)143640: \|2 rvk
084			\|a DAT 516f \|2 stub
100	1		\|a Hoare, Charles A. R. \|d 1934- \|e Verfasser \|0 (DE-588)119103265 \|4 aut
245	1	0	\|a Communicating sequential processes \|c C. A. R. Hoare
264		1	\|a Englewood Cliffs, NJ u.a. \|b Prentice Hall \|c 1985
300			\|a VIII, 256 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Prentice-Hall International series in computer science
650		7	\|a Parallelle verwerking \|2 gtt
650		4	\|a Parallélisme (Informatique)
650		7	\|a Parallélisme (informatique) \|2 ram
650		4	\|a Programmation (Informatique)
650		7	\|a communication \|2 inriac
650		7	\|a conception système \|2 inriac
650		7	\|a décomposition système \|2 inriac
650		7	\|a loi algébrique \|2 inriac
650		7	\|a non déterminisme \|2 inriac
650		7	\|a parallélisme \|2 inriac
650		7	\|a partage ressource \|2 inriac
650		7	\|a processus séquentiel \|2 inriac
650		7	\|a processus \|2 inriac
650		7	\|a système exploitation \|2 inriac
650		7	\|a théorie mathématique \|2 inriac
650		7	\|a trace \|2 inriac
650		4	\|a Computer programming
650		4	\|a Parallel processing (Electronic computers)
650	0	7	\|a CSP \|0 (DE-588)4329097-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Paralleler Prozess \|0 (DE-588)4224684-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozesskommunikation \|0 (DE-588)4176067-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozessdatenverarbeitung \|0 (DE-588)4123996-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|2 gnd \|9 rswk-swf
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
689	2	0	\|a Prozesskommunikation \|0 (DE-588)4176067-0 \|D s
689	2	1	\|a Prozessdatenverarbeitung \|0 (DE-588)4123996-9 \|D s
689	2	2	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	2		\|8 1\p \|5 DE-604
689	3	0	\|a CSP \|0 (DE-588)4329097-8 \|D s
689	3		\|8 2\p \|5 DE-604
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-002197485

Record in the Search Index

DE-BY-TUM_call_number	0001 85 A 1447 0102 DAT 516f 2001 A 16738
DE-BY-TUM_katkey	1451767
DE-BY-TUM_location	Mag 01
DE-BY-TUM_media_number	040000515555 040010356939
_version_	1821932774802587648
any_adam_object
author	Hoare, Charles A. R. 1934-
author_GND	(DE-588)119103265
author_facet	Hoare, Charles A. R. 1934-
author_role	aut
author_sort	Hoare, Charles A. R. 1934-
author_variant	c a r h car carh
building	Verbundindex
bvnumber	BV003469694
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.6
callnumber-search	QA76.6
callnumber-sort	QA 276.6
callnumber-subject	QA - Mathematics
classification_rvk	QH 500 ST 130 ST 150 ST 230 ST 273
classification_tum	DAT 516f
ctrlnum	(OCoLC)11345080 (DE-599)BVBBV003469694
dewey-full	005
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005
dewey-search	005
dewey-sort	15
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Wirtschaftswissenschaften
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03039nam a2200805 c 4500</leader><controlfield tag="001">BV003469694</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930308 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900725s1985 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0131532715</subfield><subfield code="9">0-13-153271-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0131532898</subfield><subfield code="9">0-13-153289-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11345080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003469694</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">19</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">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 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hoare, Charles A. R.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119103265</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating sequential processes</subfield><subfield code="c">C. A. R. Hoare</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ u.a.</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 256 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Prentice-Hall International series in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallelle verwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décomposition système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">loi algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">non déterminisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">partage ressource</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus séquentiel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système exploitation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">trace</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</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">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</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="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="689" ind1="2" ind2="0"><subfield code="a">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002197485</subfield></datafield></record></collection>
id	DE-604.BV003469694
illustrated	Illustrated
indexdate	2024-12-20T08:04:57Z
institution	BVB
isbn	0131532715 0131532898
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002197485
oclc_num	11345080
open_access_boolean
owner	DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-522 DE-83 DE-11
owner_facet	DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-522 DE-83 DE-11
physical	VIII, 256 S. graph. Darst.
publishDate	1985
publishDateSearch	1985
publishDateSort	1985
publisher	Prentice Hall
record_format	marc
series2	Prentice-Hall International series in computer science
spellingShingle	Hoare, Charles A. R. 1934- Communicating sequential processes Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) CSP (DE-588)4329097-8 gnd Paralleler Prozess (DE-588)4224684-2 gnd Prozesskommunikation (DE-588)4176067-0 gnd Verteiltes System (DE-588)4238872-7 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd
subject_GND	(DE-588)4329097-8 (DE-588)4224684-2 (DE-588)4176067-0 (DE-588)4238872-7 (DE-588)4123996-9 (DE-588)4075860-6
title	Communicating sequential processes
title_auth	Communicating sequential processes
title_exact_search	Communicating sequential processes
title_full	Communicating sequential processes C. A. R. Hoare
title_fullStr	Communicating sequential processes C. A. R. Hoare
title_full_unstemmed	Communicating sequential processes C. A. R. Hoare
title_short	Communicating sequential processes
title_sort	communicating sequential processes
topic	Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) CSP (DE-588)4329097-8 gnd Paralleler Prozess (DE-588)4224684-2 gnd Prozesskommunikation (DE-588)4176067-0 gnd Verteiltes System (DE-588)4238872-7 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd
topic_facet	Parallelle verwerking Parallélisme (Informatique) Parallélisme (informatique) Programmation (Informatique) communication conception système décomposition système loi algébrique non déterminisme parallélisme partage ressource processus séquentiel processus système exploitation théorie mathématique trace Computer programming Parallel processing (Electronic computers) CSP Paralleler Prozess Prozesskommunikation Verteiltes System Prozessdatenverarbeitung Parallelverarbeitung
work_keys_str_mv	AT hoarecharlesar communicatingsequentialprocesses

Availability

Order (Login required)

Order paper/chapter scan

Closed Stacks

Holdings details from Bibliotheksmagazin
Call Number:	0001 85 A 1447 Floor plan
Copy 1	Available for loan On Shelf

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 516f 2001 A 16738 Floor plan
Copy 1	Available for loan On Shelf